Larch family
id:
larch-family-191-15096679
title:
Larch family
text:
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 Systems Research Center (DEC/SRC), Massachusetts Institute of Technology (MIT), and other places. Unlike the Z notation, the Larch family has one l
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Larch_family
date created:
date modified:
2021-04-25T14:24:35Z
main entity:
{"identifier":"Q6488779","url":"https://www.wikidata.org/entity/Q6488779"}
image:
fields total:
13
integrity:
13