Writing Larch Interface Language Specifications

Writing Larch Interface Language Specifications (1987)

Cached

Download Links

[www.cs.cmu.edu]

Other Repositories/Bibliography

DBLP

by Jeannette M. Wing

Venue:	ACM Transactions on Programming Languages and Systems
Citations:	68 - 2 self

Versions

Version History

Metadata Version 1

Datum	Value	Source
TITLE	Writing Larch Interface Language Specifications	INFERENCE
AUTHOR NAME	Jeannette M. Wing	SVM HeaderParse 0.2
AUTHOR AFFIL	Carnegie-Mellon University	SVM HeaderParse 0.2
ABSTRACT	Current research in specifications is emphasizing the practical use of formal specifications in program design. One way to encourage their use in practice is to provide specification languages that are accessible to both designers and programmers. With this goal in mind, the Larch family of formal specification languages has evolved to support a two-tiered approach to writing specifications. This approach separates the specification of state transformations and programming language dependen-cies from the specification of underlying abstractions. Thus, each member of the Larch family has a subset derived from a programming language and another subset independent of any programming languages. We call the former interface languages, and the latter the Larch Shared Language. This paper focuses on Larch interface language specifications. Through examples, we illustrate some salient features of Larch/CLU, a Larch interface language for the programming language CLU. We give an example of writing an interface specification following the two-tiered approach and discuss in detail issues involved in writing interface specifications and their interaction with their Shared Language components.	SVM HeaderParse 0.2
YEAR	1987	INFERENCE
VENUE	ACM Transactions on Programming Languages and Systems	INFERENCE
VENUE TYPE	JOURNAL	INFERENCE
PAGES	1--24	INFERENCE
VOLUME	9	INFERENCE
CITATIONS	57 found	ParsCit 1.0