Tags: Programming Language.

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.

Loading...

This page contains content from the copyrighted Wikipedia article "Larch family"; that content is used under the GNU Free Documentation License (GFDL). You may redistribute it, verbatim or modified, providing that you comply with the terms of the GFDL.