Institutions for OCL-Like Expression Languages (Q5256349): Difference between revisions

@@ Property / describes a project that uses @@
+Hets
@@ Property / describes a project that uses: Hets / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1007011413
@@ Property / OpenAlex ID: W1007011413 / rank @@
+Normal rank
@@ Property / cites work @@
+What Is a Multi-modeling Language?
@@ Property / cites work: What Is a Multi-modeling Language? / rank @@
+Normal rank
@@ Property / cites work @@
+A Heterogeneous Approach to UML Semantics
@@ Property / cites work: A Heterogeneous Approach to UML Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4723263
@@ Property / cites work: Q4723263 / rank @@
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
+Normal rank
@@ Property / cites work @@
+Institutions for OCL-Like Expression Languages
@@ Property / cites work: Institutions for OCL-Like Expression Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q3839062
@@ Property / cites work: Q3839062 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of algebraic specification and formal software development.
+Normal rank
@@ Property / cites work @@
+Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
+Normal rank