A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Specification of a specification language
1981
Annual Review in Automatic Programming
ESPRESO is a recently developed specification systC0 for process control soft ... are . It consirits of a specification language and !I soft .... re system ... bich serves as a tool to check , manage, and evaluate specifications. The langu.ge ... as precisely defined by an Extended Attribute Crammar Ind by a mapping into a programming language. The definition turned out to be most valuable not only for the implementation of the tool but also for the i~rove0ent of the language i t self. As a
doi:10.1016/0066-4138(81)90010-0
fatcat:5ncq7gbburhxriklnsbtikpxfa