An encoding of partial algebras as total algebras

DOI10.1016/j.ipl.2009.09.008zbMath1202.68245OpenAlexW1993444307MaRDI QIDQ990084

Răzvan Diaconescu

Publication date: 2 September 2010

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ipl.2009.09.008

zbMATH Keywords

specification languagesencodingformal specificationspartial algebra

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

On the existence of translations of structured specifications, Encoding hybridized institutions into first-order logic

Uses Software

• CASL
• OBJ3
• CafeOBJ

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Institution morphisms
• Birkhoff completeness in institutions
• CASL: the Common Algebraic Specification Language.
• Relating CASL with other specification languages: the institution level.
• Institution-independent model theory
• Abstract Beth definability in institutions
• Institutions: abstract model theory for specification and programming