Institutions for OCL-Like Expression Languages

DOI10.1007/978-3-319-15545-6_14zbMath1453.68106OpenAlexW1007011413MaRDI QIDQ5256349

María Victoria Cengarle, Alexander Knapp

Publication date: 22 June 2015

Published in: Software, Services, and Systems (Search for Journal in Brave)

Full work available at URL: https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/44294

Mathematics Subject Classification ID

Theory of programming languages (68N15) Abstract data types; algebraic specification (68Q65)

Related Items (2)

Term charters ⋮ Institutions for OCL-Like Expression Languages

Uses Software

• Hets

Cites Work

• Unnamed Item
• Unnamed Item
• Foundations of algebraic specification and formal software development.
• Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
• What Is a Multi-modeling Language?
• A Heterogeneous Approach to UML Semantics
• Institutions: abstract model theory for specification and programming
• Institutions for OCL-Like Expression Languages

This page was built for publication: Institutions for OCL-Like Expression Languages