archives

The Larch/Smalltalk Interface Specification Language

Home 

About 

Browse 

Search 

Register 

Subscriptions 

Deposit Papers 

Help
    

Cheon, Yoonsik and Leavens, Gary T. (1994) The Larch/Smalltalk Interface Specification Language. Technical Report TR93-24a, Department of Computer Science, Iowa State University.

Full text available as:Postscript
Adobe PDF

Abstract

The Larch/Smalltalk Interface Specification Language
by
Yoonsik Cheon and Gary T. Leavens
Department of Computer Science, 226 Atanasoff Hall
Iowa State University, Ames, Iowa 50011-1040 USA
cheon@cs.iastate.edu and leavens@cs.iastate.edu
Abstract
Object-oriented programming languages, such as Smalltalk, help one to
build reusable program modules. The reuse of program modules requires
adequate documentation --- formal or informal. Larch/Smalltalk is a
formal specification language for specifying such reusable Smalltalk
modules. Larch/Smalltalk firmly separates specification from
implementation. In Larch/Smalltalk, the unit of specification is an
abstract data type, which is an abstraction of the behavior produced by
one or more Smalltalk classes. A type can be a subtype of other types,
which allows types to be organized based on specified behavior, and also
allows for inheritance of their specifications. Larch/Smalltalk
specifications are developed using specification tools integrated in the
Smalltalk programming environment.




Subjects:All uncategorized technical reports



ID code:00000058


Deposited by:Staff Account on 17 May 1994









Contact site administrator at: ssg@cs.iastate.edu