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