Larch family: Difference between revisions
m →External links: HTTP → HTTPS for Carnegie Mellon CS, replaced: http://www.cs.cmu.edu/ → https://www.cs.cmu.edu/ |
Tom.Reding (talk | contribs) m +{{Authority control}} (1 ID from Wikidata), WP:GenFixes on |
||
| Line 1: | Line 1: | ||
{{ |
{{Other uses|Larch (disambiguation)}} |
||
The '''Larch family''' of formal [[specification language]]s are intended for the precise specification of computing systems. They allow the clean specification of [[computer program]]s and the formulation of proofs about program behavior. |
The '''Larch family''' of formal [[specification language]]s are intended for the precise specification of computing systems. They allow the clean specification of [[computer program]]s and the formulation of proofs about program behavior. |
||
| Line 9: | Line 9: | ||
==External links== |
==External links== |
||
* [http://www.sds.lcs.mit.edu/spd/larch/ MIT Larch home page]. |
* [http://www.sds.lcs.mit.edu/spd/larch/ MIT Larch home page]. |
||
* [https://www.cs.cmu.edu/afs/cs/usr/wing/www/publications/LarchBook.pdf ''Larch: Languages and Tools for Formal Specification''] (.PDF), [[Springer Science+Business Media|Springer-Verlag]] (1993). {{ISBN|0-387-94006-5}} |
* [https://www.cs.cmu.edu/afs/cs/usr/wing/www/publications/LarchBook.pdf ''Larch: Languages and Tools for Formal Specification''] (.PDF), [[Springer Science+Business Media|Springer-Verlag]] (1993). {{ISBN|0-387-94006-5}} |
||
* [http://www.informatik.uni-bremen.de/cofi/index.php/CASL CASL, The Common Algebraic Specification Language]. |
* [http://www.informatik.uni-bremen.de/cofi/index.php/CASL CASL, The Common Algebraic Specification Language]. |
||
{{Authority control}} |
|||
| ⚫ | |||
[[Category:Formal specification languages]] |
[[Category:Formal specification languages]] |
||
| ⚫ | |||
Revision as of 21:55, 31 March 2021
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
- MIT Larch home page.
- Larch: Languages and Tools for Formal Specification (.PDF), Springer-Verlag (1993). ISBN 0-387-94006-5
- CASL, The Common Algebraic Specification Language.
 | This programming-language-related article is a stub. You can help Wikipedia by expanding it. |