| 词条 | Larch family |
| 释义 |
The Larch family of formal specification languages are intended for the precise specification of computing systems. They allow the clean specification of computer programs and the formulation of proofs about program behavior. The Larch family was developed primarily in the United States in the 1980s and 1990s, involving researchers at Xerox PARC, DEC/SRC, MIT, and other places. Unlike the Z notation, the Larch family has one language for algebraic specification of abstract data types (LSL, the Larch Shared Language), and a separate interface language tailored to each language in which programs are to be written (Modula-3, C, Smalltalk, etc.). The Larch project also developed tools to support the use of formal specifications, including LP, the Larch Prover. See also
External links
1 : Formal specification languages |
| 随便看 |
开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。