Pages that link to "Item:Q1067767"
From MaRDI portal
The following pages link to Report on the Larch shared language (Q1067767):
Displaying 11 items.
- A set-theoretic semantics for Clear (Q791329) (← links)
- Toward formal development of programs from algebraic specifications: Implementations revisited (Q1090100) (← links)
- Specifications in an arbitrary institution (Q1108775) (← links)
- Complexity analysis of term-rewriting systems (Q1262761) (← links)
- Gordon's computer: A hardware verification case study in OBJ3 (Q1329091) (← links)
- An overview of the Tecton proof system (Q1341710) (← links)
- CASL: the Common Algebraic Specification Language. (Q1853453) (← links)
- Relating CASL with other specification languages: the institution level. (Q1853458) (← links)
- Compatibility problems in the development of algebraic module specifications (Q2638799) (← links)
- (Q3482823) (← links)
- Structuring and modularizing algebraic specifications: the PLUSS specification language, evolutions and perspectives (Q5096765) (← links)