Term charters

DOI10.1007/978-3-030-23220-7_7zbMath1444.68085OpenAlexW4243572170MaRDI QIDQ2185890

María Victoria Cengarle, Alexander Knapp

Publication date: 8 June 2020

Full work available at URL: https://hal.inria.fr/hal-02364571/file/486157_1_En_7_Chapter.pdf

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Grammars and rewriting systems (68Q42) Categorical semantics of formal languages (18C50) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Foundations of algebraic specification and formal software development.
• A 2-categorial generalization of the concept of institution
• Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
• Institution-independent model theory
• Institutions: abstract model theory for specification and programming
• Institutions for OCL-Like Expression Languages
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Term charters