Report on the Larch shared language
From MaRDI portal
Recommendations
Cited in
(14)- A Larch shared language handbook
- scientific article; zbMATH DE number 4153905 (Why is no real title available?)
- Specifications in an arbitrary institution
- Complexity analysis of term-rewriting systems
- Compatibility problems in the development of algebraic module specifications
- CASL: the Common Algebraic Specification Language.
- scientific article; zbMATH DE number 517385 (Why is no real title available?)
- Gordon's computer: A hardware verification case study in OBJ3
- Writing Larch interface language specifications
- A set-theoretic semantics for Clear
- Structuring and modularizing algebraic specifications: the PLUSS specification language, evolutions and perspectives
- An overview of the Tecton proof system
- Relating CASL with other specification languages: the institution level.
- Toward formal development of programs from algebraic specifications: Implementations revisited
This page was built for publication: Report on the Larch shared language
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1067767)