The Larch/Smalltalk interface specification language
Authors:
Open Access
- 1 July 1994
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Software Engineering and Methodology
- Vol. 3 (3) , 221-153
Abstract
Object-oriented programming languages, such as Smalltalk, help one to build reusableprogram modules. The reuse of program modules requires adequate documentation ---formal or informal. Larch/Smalltalk is a formal specification language for specifying suchreusable Smalltalk modules. Larch/Smalltalk firmly separates specification from implementation.In Larch/Smalltalk the unit of specification is an abstract data type, whichis an abstraction of the behavior produced by one or more Smalltalk...Keywords
This publication has 19 references indexed in Scilit:
- Specifications and their use in defining subtypesACM SIGPLAN Notices, 1993
- Interfaces and specifications for the Smalltalk-80 collection classesACM SIGPLAN Notices, 1992
- Reasoning about object-oriented programs that use subtypesACM SIGPLAN Notices, 1990
- A parallel object-oriented language with inheritance and subtypingACM SIGPLAN Notices, 1990
- Using Larch to specify Avalon/C++ objectsIEEE Transactions on Software Engineering, 1990
- Designing families of data types using exemplarsACM Transactions on Programming Languages and Systems, 1989
- Writing Larch interface language specificationsACM Transactions on Programming Languages and Systems, 1987
- An exemplar based SmalltalkACM SIGPLAN Notices, 1986
- On understanding types, data abstraction, and polymorphismACM Computing Surveys, 1985
- An axiomatic basis for computer programmingCommunications of the ACM, 1969