The Foundational Legacy of ASL (Q5256352): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-15545-6_17
+Normal rank
@@ Property / OpenAlex ID @@
+W1790454121
@@ Property / OpenAlex ID: W1790454121 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3906394
@@ Property / cites work: Q3906394 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructor-based observational logic
@@ Property / cites work: Constructor-based observational logic / rank @@
+Normal rank
@@ Property / cites work @@
+Behavioural and abstractor specifications
@@ Property / cites work: Behavioural and abstractor specifications / rank @@
+Normal rank
@@ Property / cites work @@
+CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
+Normal rank
@@ Property / cites work @@
+Q5472873
@@ Property / cites work: Q5472873 / rank @@
+Normal rank
@@ Property / cites work @@
+Architectural specifications in CASL
@@ Property / cites work: Architectural specifications in CASL / rank @@
+Normal rank
@@ Property / cites work @@
+Observational interpretation of Casl specifications
+Normal rank
@@ Property / cites work @@
+Institution-independent model theory
@@ Property / cites work: Institution-independent model theory / 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 @@
+Q3221381
@@ Property / cites work: Q3221381 / rank @@
+Normal rank
@@ Property / cites work @@
+Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+Q4105777
@@ Property / cites work: Q4105777 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3956373
@@ Property / cites work: Q3956373 / rank @@
+Normal rank
@@ Property / cites work @@
+Composing Hidden Information Modules over Inclusive Institutions
+Normal rank
@@ Property / cites work @@
+Proof systems for structured specifications with observability operators
+Normal rank
@@ Property / cites work @@
+Pebble, a kernel language for modules and abstract data types
+Normal rank
@@ Property / cites work @@
+Development graphs -- proof management for structured specifications
+Normal rank
@@ Property / cites work @@
+A Relatively Complete Calculus for Structured Heterogeneous Specifications
+Normal rank
@@ Property / cites work @@
+Q3938468
@@ Property / cites work: Q3938468 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4520823
@@ Property / cites work: Q4520823 / rank @@
+Normal rank
@@ Property / cites work @@
+Behavioural correctness of data representations
@@ Property / cites work: Behavioural correctness of data representations / rank @@
+Normal rank
@@ Property / cites work @@
+Toward formal development of programs from algebraic specifications: Parameterisation revisited
+Normal rank
@@ Property / cites work @@
+On observational equivalence and algebraic specification
+Normal rank
@@ 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 @@
+Horizontal Composability Revisited
@@ Property / cites work: Horizontal Composability Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of algebraic specification and formal software development.
+Normal rank
@@ Property / cites work @@
+Property-oriented semantics of structured specifications
+Normal rank
@@ Property / cites work @@
+Q3954805
@@ Property / cites work: Q3954805 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3666260
@@ Property / cites work: Q3666260 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3776610
@@ Property / cites work: Q3776610 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4904107
@@ Property / cites work: Q4904107 / rank @@
+Normal rank
@@ Property / cites work @@
+Data Type Specification: Parameterization and the Power of Specification Techniques
+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 @@
+Q3660896
@@ Property / cites work: Q3660896 / rank @@
+Normal rank
@@ Property / cites work @@
+Structured algebraic specifications: A kernel language
+Normal rank