Institutions for OCL-Like Expression Languages

doi:https://doi.org/10.1007/978-3-319-15545-6_14

Book Chapter10.1007/978-3-319-15545-6_14

Institutions for OCL-Like Expression Languages

Alexander Knapp,Marı́a Victoria Cengarle-2015-01-01-Lecture notes in computer science

4

Chat with Paper

AI Agents for this Paper

No abstract available for this paper.

Keywords

Object Constraint LanguageProgramming languageComputer scienceUnified Modeling LanguageSemantics (computer science)Expression (computer science)Modeling languageRigour

Chat

Click to start Chat