Consistency checking within embedded design languages

Authors:
A. Rudmik;B. E. Casey;H. Cohen
Affiliations:
-;-;-
Venue:
ICSE '82 Proceedings of the 6th international conference on Software engineering
Year:
1982

Citing 5
Cited 0

The structure of modular program

Communications of the ACM
On the criteria to be used in decomposing systems into modules

Communications of the ACM
PASCAL user manual and report

PASCAL user manual and report
An efficient separate compilation strategy for very large programs

SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
Programming with abstract data types

Proceedings of the ACM SIGPLAN symposium on Very high level languages

Quantified Score

Hi-index	0.00

Visualization

Abstract

It is difficult to ensure consistency between a program's design and its implementation. An embedded design language (one superimposed on an implementation language) can help. This paper describes a particular embedded design language that was successfully used to design and implement a very large compiling system. This design language has a rich set of constructs for expressing the high-level and detailed designs of a program. It also supports various levels of design and implementation consistency checking, and the generation of a variety of documents for use by programmers and reviewers.