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.