Interface Language for Supporting Programming Styles

ACM SIGPLAN Notices

Volumn 29, Issue 8, 1994, Pages 74-83

  Tan, Yang Meng ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84976837280     PISSN: 03621340     EISSN: 15581160     Source Type: Journal    
DOI: 10.1145/185087.185106     Document Type: Article

References (11)

1. David Evans. LCLint User's Guide. MIT Lab. for Computer Science, 1993.
2. David Guaspari, Carla Marceau, and Wolfgang Polak. Formal verification of Ada. IEEE Transactions on Software Engineering, 16(9):1058-1075, September 1990.
3. John V. Guttag and James J. Horning, editors. Larch: Languages and Tools for Formal Specification. Texts and Monographs in Computer Science, Springer-Verlag, 1993. With Stephen J. Garland, Kevin D. Jones, Andrés Modet, and Jeannette M. Wing.
4. James J Horning. Private communication. November 1993.
5. Gary T. Leavens and Yoonsik Cheon. Preliminary design of Larch/C++. In Ursula Martin and Jeannette M. Wing, editors, First International Workshop on Larch, Springer-Verlag, July 1992.
6. Barbara Liskov and John V. Guttag. Abstraction and Specification in Program Development. The MIT Electrical Engineering and Computer Science Series, MIT Press, Cambridge, MA, 1986.
7. Scott Meyers and Moises Lejter. Automatic Detection of C++ Programming Errors: Initial Thoughts on a lint++. CS 91-51, Department of Computer Science, Brown University, 1991.
8. Yang Meng Tan. Semantic analysis of formal specifications. MIT EECS Dept PhD thesis, forthcoming in June 1994.
9. Yang Meng Tan. Semantic analysis of Larch interface specifications. In Ursula Martin and Jeannette M. Wing, editors, First International Workshop on Larch, Springer-Verlag, July 1992.
10. Michal Walicki, Jens Ulrik Skakkebæk, and Sriram Sankar. The Stanford ADA Checker: An Application of the ANNA Tools and Methodology. CSL-TR-91-488, Computer Systems Laboratory, Stanford University, August 1991.
11. Jeannette M. Wing. A Two-Tiered Approach to Specifying Programs. Technical Report LCS/TR-299, MIT, May 1983. PhD Thesis, Department of Electrical Engineering and Computer Science.