Observational interpretation of Casl specifications (Q5458070): Difference between revisions

@@ Property / cites work @@
+Specifications in an arbitrary institution
@@ Property / cites work: Specifications in an arbitrary institution / rank @@
+Normal rank
@@ Property / cites work @@
+Toward formal development of programs from algebraic specifications: Implementations revisited
+Normal rank
@@ Property / cites work @@
+Behavioural and abstractor specifications
@@ Property / cites work: Behavioural and abstractor specifications / rank @@
+Normal rank
@@ Property / cites work @@
+Amalgamation in the semantics of CASL
@@ Property / cites work: Amalgamation in the semantics of CASL / rank @@
+Normal rank
@@ Property / cites work @@
+Modular correctness proofs of behavioural implementations
+Normal rank
@@ Property / cites work @@
+Behavioural correctness of data representations
@@ Property / cites work: Behavioural correctness of data representations / rank @@
+Normal rank
@@ Property / cites work @@
+Architectural specifications in CASL
@@ Property / cites work: Architectural specifications in CASL / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255593
@@ Property / cites work: Q4255593 / rank @@
+Normal rank
@@ Property / cites work @@
+CASL: the Common Algebraic Specification Language.
+Normal rank
@@ Property / cites work @@
+The definition of Extended ML: A gentle introduction
+Normal rank
@@ Property / cites work @@
+Proof of correctness of data representations
@@ Property / cites work: Proof of correctness of data representations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4282672
@@ Property / cites work: Q4282672 / rank @@
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+Q5590815
@@ Property / cites work: Q5590815 / rank @@
+Normal rank
@@ Property / cites work @@
+Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability
+Normal rank
@@ Property / cites work @@
+Essential concepts of algebraic specification and program development
+Normal rank
@@ Property / cites work @@
+Q3221381
@@ Property / cites work: Q3221381 / rank @@
+Normal rank