A constructive method for abstract algebraic software specification (Q796979): Difference between revisions

@@ Property / cites work @@
+Q3912001
@@ Property / cites work: Q3912001 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3217583
@@ Property / cites work: Q3217583 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3208066
@@ Property / cites work: Q3208066 / rank @@
+Normal rank
@@ Property / cites work @@
+Initial and Final Algebra Semantics for Data Type Specifications: Two Characterization Theorems
+Normal rank
@@ Property / cites work @@
+Q3969852
@@ Property / cites work: Q3969852 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198051
@@ Property / cites work: Q4198051 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3875328
@@ Property / cites work: Q3875328 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4190110
@@ Property / cites work: Q4190110 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3871894
@@ Property / cites work: Q3871894 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3906394
@@ Property / cites work: Q3906394 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5618896
@@ Property / cites work: Q5618896 / rank @@
+Normal rank
@@ Property / cites work @@
+Extensions and implementations of abstract data type specifications
+Normal rank
@@ Property / cites work @@
+On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
+Normal rank
@@ Property / cites work @@
+Q3917479
@@ Property / cites work: Q3917479 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic implementation of abstract data types
@@ Property / cites work: Algebraic implementation of abstract data types / rank @@
+Normal rank
@@ Property / cites work @@
+Q4160385
@@ Property / cites work: Q4160385 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3906461
@@ Property / cites work: Q3906461 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4151143
@@ Property / cites work: Q4151143 / rank @@
+Normal rank
@@ Property / cites work @@
+Initial Algebra Semantics and Continuous Algebras
@@ Property / cites work: Initial Algebra Semantics and Continuous Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4063610
@@ Property / cites work: Q4063610 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4178466
@@ Property / cites work: Q4178466 / rank @@
+Normal rank
@@ Property / cites work @@
+The algebraic specification of abstract data types
+Normal rank
@@ Property / cites work @@
+Q3925867
@@ Property / cites work: Q3925867 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4182497
@@ Property / cites work: Q4182497 / rank @@
+Normal rank
@@ Property / cites work @@
+Final Data Types and Their Specification
@@ Property / cites work: Final Data Types and Their Specification / rank @@
+Normal rank
@@ Property / cites work @@
+Q3932287
@@ Property / cites work: Q3932287 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3660895
@@ Property / cites work: Q3660895 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4743710
@@ Property / cites work: Q4743710 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3910517
@@ Property / cites work: Q3910517 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3932288
@@ Property / cites work: Q3932288 / rank @@
+Normal rank
@@ Property / cites work @@
+Extended directed graphs, a formalism for structured data and data structures
+Normal rank
@@ Property / cites work @@
+Data types, abstract data types and their specification problem
+Normal rank
@@ Property / cites work @@
+Abstract Data Type Specification in the Affirm System
+Normal rank
@@ Property / cites work @@
+Q3341872
@@ Property / cites work: Q3341872 / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing data type specifications via their normal forms
+Normal rank
@@ Property / cites work @@
+Data type specification
@@ Property / cites work: Data type specification / rank @@
+Normal rank
@@ Property / cites work @@
+Final algebra semantics and data type extensions
@@ Property / cites work: Final algebra semantics and data type extensions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3923582
@@ Property / cites work: Q3923582 / rank @@
+Normal rank