The Larch Family of Specification Languages
- 1 September 1985
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Software
- Vol. 2 (5), 24-36
- https://doi.org/10.1109/ms.1985.231756
Abstract
Larch specifications are two-tiered. Each one has a component written in an algebraic language and another tailored to a programming language.Keywords
This publication has 6 references indexed in Scilit:
- What it means for a concurrent program to satisfy a specificationPublished by Association for Computing Machinery (ACM) ,1985
- On Formalism in SpecificationsIEEE Software, 1985
- Abstraction Techniques in Modern Programming LanguagesIEEE Software, 1984
- Predicative programming Part ICommunications of the ACM, 1984
- Formal specification as a design toolPublished by Association for Computing Machinery (ACM) ,1980
- Proof of correctness of data representationsActa Informatica, 1972