The foundational legacy of ASL

DOI10.1007/978-3-319-15545-6_17MaRDI QIDQ5256352zbMATH OpenOpenAlexFDO

Authors Donald Sannella, Andrzej Tarlecki

Publication date 22 June 2015

Published in Software, Services, and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-15545-6_17

Mathematics Subject Classification ID

History of computer science (68-03) Abstract data types; algebraic specification (68Q65)

Recommendations

• Structured algebraic specifications: A kernel language
• scientific article; zbMATH DE number 2172806
• scientific article; zbMATH DE number 3956413
• CASL: the Common Algebraic Specification Language.
• scientific article; zbMATH DE number 1004364

Cites work

• A relatively complete calculus for structured heterogeneous specifications
• Algebraic implementation of abstract data types
• Architectural specifications in CASL
• Behavioural and abstractor specifications
• Behavioural correctness of data representations
• CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
• Composing hidden information modules over inclusive institutions
• Constructor-based observational logic
• Data Type Specification: Parameterization and the Power of Specification Techniques
• Development graphs -- proof management for structured specifications
• Final algebra semantics and data type extensions
• Foundations of algebraic specification and formal software development.
• Generalized interpolation in first order logic
• Horizontal Composability Revisited
• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 3812932 (Why is no real title available?)
• scientific article; zbMATH DE number 3819086 (Why is no real title available?)
• scientific article; zbMATH DE number 4037182 (Why is no real title available?)
• scientific article; zbMATH DE number 3714904 (Why is no real title available?)
• scientific article; zbMATH DE number 3754008 (Why is no real title available?)
• scientific article; zbMATH DE number 3774870 (Why is no real title available?)
• scientific article; zbMATH DE number 3776831 (Why is no real title available?)
• scientific article; zbMATH DE number 3529404 (Why is no real title available?)
• scientific article; zbMATH DE number 1543346 (Why is no real title available?)
• Institution-independent model theory
• Institutions: abstract model theory for specification and programming
• Observational interpretation of Casl specifications
• On observational equivalence and algebraic specification
• Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability
• Pebble, a kernel language for modules and abstract data types
• Proof systems for structured specifications with observability operators
• Property-oriented semantics of structured specifications
• Some nuances of many-sorted universal algebra: a review
• Specifications in an arbitrary institution
• Structured algebraic specifications: A kernel language
• Toward formal development of programs from algebraic specifications: Implementations revisited
• Toward formal development of programs from algebraic specifications: Parameterisation revisited

Cited in

(4)

• Structured algebraic specifications: A kernel language
• scientific article; zbMATH DE number 1728517 (Why is no real title available?)
• scientific article; zbMATH DE number 4166866 (Why is no real title available?)
• On Revival of Algol-Concepts in Modern Programming and Specification Languages

This page was built for publication: The foundational legacy of ASL

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5256352)