Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Larch_family> ?p ?o. }
Showing items 1 to 25 of
25
with 100 items per page.
- Larch_family abstract "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.".
- Larch_family wikiPageExternalLink CoFICASL.html.
- Larch_family wikiPageExternalLink LarchBook.pdf.
- Larch_family wikiPageExternalLink larch.
- Larch_family wikiPageID "693091".
- Larch_family wikiPageRevisionID "479378695".
- Larch_family hasPhotoCollection Larch_family.
- Larch_family subject Category:Formal_specification_languages.
- Larch_family type Abstraction100002137.
- Larch_family type Communication100033020.
- Larch_family type FormalSpecificationLanguages.
- Larch_family type Language106282651.
- Larch_family type ProgrammingLanguage.
- Larch_family type Software.
- Larch_family type Work.
- Larch_family type CreativeWork.
- Larch_family type InformationEntity.
- Larch_family comment "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.".
- Larch_family label "Larch family".
- Larch_family sameAs m.03396h.
- Larch_family sameAs Q6488779.
- Larch_family sameAs Q6488779.
- Larch_family sameAs Larch_family.
- Larch_family wasDerivedFrom Larch_family?oldid=479378695.
- Larch_family isPrimaryTopicOf Larch_family.