The Larch Family of Specification Languages
暂无分享，去创建一个
Larch specifications are two-tiered. Each one has a component written in an algebraic language and another tailored to a programming language.
[1] Bertrand Meyer,et al. On Formalism in Specifications , 1985, IEEE Software.
[2] Leslie Lamport. What it means for a concurrent program to satisfy a specification: why no one has specified priority , 1985, POPL '85.
[3] Mary Shaw,et al. Abstraction Techniques in Modern Programming Languages , 1984, IEEE Software.
[4] Eric C. R. Hehner,et al. Predicative programming Part I , 1984, CACM.
[5] James J. Horning,et al. Formal specification as a design tool , 1980, POPL '80.