Toward formal development of programs from algebraic specifications: Parameterisation revisited

DOI10.1007/BF01191893MaRDI QIDQ1323357zbMATH OpenFDO

Authors Donald Sannella, Stefan Sokołowski, Andrzej Tarlecki

Publication date 4 July 1994

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01191893

zbMATH Keywords

algebraic specificationsASL specification languageformal program developmentparameterization

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• Publication:4721633
• Toward formal development of programs from algebraic specifications: Implementations revisited
• Toward formal development of programs from algebraic specifications: model-theoretic foundations
• scientific article; zbMATH DE number 4766
• scientific article; zbMATH DE number 1615248
• A Calculus of Higher-Order Parameterization for Algebraic Specifications
• Combining algebraic specifications and procedural tools for correct program development
• An Informal Approach to Formal (Algebraic) Specifications
• scientific article; zbMATH DE number 1088024
• Foundations of algebraic specification and formal software development.

Cites work

• A framework for defining logics
• scientific article; zbMATH DE number 4172406 (Why is no real title available?)
• scientific article; zbMATH DE number 4180819 (Why is no real title available?)
• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 3864486 (Why is no real title available?)
• scientific article; zbMATH DE number 3812929 (Why is no real title available?)
• scientific article; zbMATH DE number 3819086 (Why is no real title available?)
• scientific article; zbMATH DE number 3898213 (Why is no real title available?)
• scientific article; zbMATH DE number 3954252 (Why is no real title available?)
• scientific article; zbMATH DE number 3714904 (Why is no real title available?)
• scientific article; zbMATH DE number 50149 (Why is no real title available?)
• scientific article; zbMATH DE number 3050845 (Why is no real title available?)
• On observational equivalence and algebraic specification
• On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
• Parameterized Programming
• Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability
• Specifications in an arbitrary institution
• Structured algebraic specifications: A kernel language
• The calculus of constructions
• Toward formal development of programs from algebraic specifications: Implementations revisited
• Toward formal development of programs from algebraic specifications: Parameterisation revisited

Cited in

(34)

• Modularising the specification of a small database system in extended ML
• OBSCURE, a specification language for abstract data types
• Toward formal development of programs from algebraic specifications: Parameterisation revisited
• Structured theory presentations and logic representations
• Functorial theory of parameterized specifications in a general specification framework
• Essential concepts of algebraic specification and program development
• The definition of Extended ML: A gentle introduction
• Structuring of specification modules (extended)
• Amalgamation in the semantics of CASL
• CASL: the Common Algebraic Specification Language.
• Logical systems for structured specifications.
• Manipulating algebraic specifications with term-based and graph-based representations
• Composition and refinement of specifications of parameterized data types
• scientific article; zbMATH DE number 4007699 (Why is no real title available?)
• Parameterisation for abstract structured specifications
• Program specification and data refinement in type theory
• scientific article; zbMATH DE number 1088024 (Why is no real title available?)
• scientific article; zbMATH DE number 1487501 (Why is no real title available?)
• scientific article; zbMATH DE number 1522144 (Why is no real title available?)
• scientific article; zbMATH DE number 1525070 (Why is no real title available?)
• scientific article; zbMATH DE number 1555491 (Why is no real title available?)
• A Calculus of Higher-Order Parameterization for Algebraic Specifications
• Compositionality results for different types of parameterization and parameter passing in specification languages
• Semantic typing for parametric algebraic specifications
• Structuring and modularizing algebraic specifications: the PLUSS specification language, evolutions and perspectives
• Toward formal development of programs from algebraic specifications: model-theoretic foundations
• The foundational legacy of ASL
• ZB 2005: Formal Specification and Development in Z and B
• Property-oriented semantics of structured specifications
• Type checking parametrised programs and specifications in \(\text{ASL}+_{\text{FPC}}\).
• Subtyping dependent types
• Parameterized programming for compositional system specification
• CoFI with Don Sannella
• Generalized interpolation in CASL

Describes a project that uses

Uses Software

• OBSCURE
• Nuprl

This page was built for publication: Toward formal development of programs from algebraic specifications: Parameterisation revisited

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