Structured algebraic specifications: A kernel language

DOI10.1016/0304-3975(86)90051-4MaRDI QIDQ1080652zbMATH OpenOpenAlexFDO

Authors Martin Wirsing

Publication date 1986

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(86)90051-4

zbMATH Keywords

implementationdenotational semanticsASLcomputability questionsdeclarative higher-order languagemodel class semanticspresentation semantics

Mathematics Subject Classification ID

Data structures (68P05)

Recommendations

• scientific article; zbMATH DE number 3956413
• Proof systems for structured specifications with observability operators
• scientific article; zbMATH DE number 2172806
• The foundational legacy of ASL
• Proof systems for structured algebraic specifications: An overview

Cites work

• scientific article; zbMATH DE number 3837407 (Why is no real title available?)
• scientific article; zbMATH DE number 3167150 (Why is no real title available?)
• scientific article; zbMATH DE number 3872647 (Why is no real title available?)
• scientific article; zbMATH DE number 3872656 (Why is no real title available?)
• scientific article; zbMATH DE number 3880083 (Why is no real title available?)
• scientific article; zbMATH DE number 3808926 (Why is no real title available?)
• scientific article; zbMATH DE number 3808940 (Why is no real title available?)
• scientific article; zbMATH DE number 3812919 (Why is no real title available?)
• scientific article; zbMATH DE number 3812932 (Why is no real title available?)
• scientific article; zbMATH DE number 3814949 (Why is no real title available?)
• scientific article; zbMATH DE number 3819086 (Why is no real title available?)
• scientific article; zbMATH DE number 3823106 (Why is no real title available?)
• scientific article; zbMATH DE number 3825899 (Why is no real title available?)
• scientific article; zbMATH DE number 3898213 (Why is no real title available?)
• scientific article; zbMATH DE number 3898214 (Why is no real title available?)
• scientific article; zbMATH DE number 3902005 (Why is no real title available?)
• scientific article; zbMATH DE number 3909717 (Why is no real title available?)
• scientific article; zbMATH DE number 3930372 (Why is no real title available?)
• scientific article; zbMATH DE number 3936496 (Why is no real title available?)
• scientific article; zbMATH DE number 3671657 (Why is no real title available?)
• scientific article; zbMATH DE number 3675284 (Why is no real title available?)
• scientific article; zbMATH DE number 3688682 (Why is no real title available?)
• scientific article; zbMATH DE number 3698357 (Why is no real title available?)
• scientific article; zbMATH DE number 3700811 (Why is no real title available?)
• scientific article; zbMATH DE number 3714904 (Why is no real title available?)
• scientific article; zbMATH DE number 3714981 (Why is no real title available?)
• scientific article; zbMATH DE number 3723836 (Why is no real title available?)
• scientific article; zbMATH DE number 3723898 (Why is no real title available?)
• scientific article; zbMATH DE number 3729429 (Why is no real title available?)
• scientific article; zbMATH DE number 3729432 (Why is no real title available?)
• scientific article; zbMATH DE number 3733226 (Why is no real title available?)
• scientific article; zbMATH DE number 3744506 (Why is no real title available?)
• scientific article; zbMATH DE number 3754008 (Why is no real title available?)
• scientific article; zbMATH DE number 3761372 (Why is no real title available?)
• scientific article; zbMATH DE number 3765107 (Why is no real title available?)
• scientific article; zbMATH DE number 3765116 (Why is no real title available?)
• scientific article; zbMATH DE number 3774870 (Why is no real title available?)
• scientific article; zbMATH DE number 3774871 (Why is no real title available?)
• scientific article; zbMATH DE number 3776831 (Why is no real title available?)
• scientific article; zbMATH DE number 3782368 (Why is no real title available?)
• scientific article; zbMATH DE number 3784848 (Why is no real title available?)
• scientific article; zbMATH DE number 3529404 (Why is no real title available?)
• scientific article; zbMATH DE number 3550181 (Why is no real title available?)
• scientific article; zbMATH DE number 3581594 (Why is no real title available?)
• scientific article; zbMATH DE number 3612415 (Why is no real title available?)
• scientific article; zbMATH DE number 3614152 (Why is no real title available?)
• scientific article; zbMATH DE number 3621102 (Why is no real title available?)
• scientific article; zbMATH DE number 3628362 (Why is no real title available?)
• scientific article; zbMATH DE number 3635529 (Why is no real title available?)
• scientific article; zbMATH DE number 3806938 (Why is no real title available?)
• scientific article; zbMATH DE number 3206304 (Why is no real title available?)
• scientific article; zbMATH DE number 6296809 (Why is no real title available?)
• scientific article; zbMATH DE number 3248792 (Why is no real title available?)
• scientific article; zbMATH DE number 3274715 (Why is no real title available?)
• scientific article; zbMATH DE number 3290336 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• A Powerdomain Construction
• A complete first-order logic with infinitary predicates
• Algebraic and operational semantics of specifications allowing exceptions and errors
• Algebraic implementation of abstract data types
• Algebraic implementations preserve program correctness
• Can programming be liberated from the von Neumann style?
• Completeness of Proof Systems for Equational Specifications
• Data Type Specification: Parameterization and the Power of Specification Techniques
• Edinburgh LCF. A mechanized logic of computation
• Ein Wohlordnungsbeweis für das Ordinalzahlensystem T(J). (A proof of the wellordering of the ordinal number system T(J))
• Final Data Types and Their Specification
• Final algebra semantics and data type extensions
• Fully abstract models of typed \(\lambda\)-calculi
• Heterogeneous algebras
• Initial Algebra Semantics and Continuous Algebras
• LCF considered as a programming language
• On hierarchies of abstract data types
• On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
• Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability
• Partial abstract types
• Power domains
• Programming in a wide spectrum language: A collection of examples
• The lambda calculus, its syntax and semantics

Cited in

(41)

• Toward formal development of programs from algebraic specifications: model-theoretic foundations
• Amalgamation in the semantics of CASL
• Type checking parametrised programs and specifications in \(\text{ASL}+_{\text{FPC}}\).
• Specification languages in algebraic compilers
• A general framework for modular implementations of modular system specifications
• The distributed ontology, modeling and specification language -- DOL
• 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 3864473 (Why is no real title available?)
• Essential concepts of algebraic specification and program development
• A compiler for an algebraic specification language
• Observational implementation of algebraic specifications
• scientific article; zbMATH DE number 3956413 (Why is no real title available?)
• Program specification and data refinement in type theory
• An algebraic semantic framework for object oriented languages with concurrency. (Extended abstract)
• scientific article; zbMATH DE number 3862415 (Why is no real title available?)
• A proof theoretic interpretation of model theoretic hiding
• Toward formal development of programs from algebraic specifications: Implementations revisited
• Modular structuring of VDM specifications in VVSL
• Detecting isomorphisms of modular specifications with diagrams
• Specifications in an arbitrary institution
• OBSCURE, a specification language for abstract data types
• On observational equivalence and algebraic specification
• Proof systems for structured specifications with observability operators
• Toward formal development of programs from algebraic specifications: Parameterisation revisited
• Functorial theory of parameterized specifications in a general specification framework
• scientific article; zbMATH DE number 1678370 (Why is no real title available?)
• On the algebra of structured specifications
• A homage to Martin Wirsing
• scientific article; zbMATH DE number 3898214 (Why is no real title available?)
• Structured theory presentations and logic representations
• scientific article; zbMATH DE number 3876564 (Why is no real title available?)
• scientific article; zbMATH DE number 1555491 (Why is no real title available?)
• Localized operational termination in general logics
• scientific article; zbMATH DE number 3926271 (Why is no real title available?)
• Proof systems for structured algebraic specifications: An overview
• The foundational legacy of ASL
• Equivalences among various logical frameworks of partial algebras
• Compositionality results for different types of parameterization and parameter passing in specification languages
• Rule-based modeling and static analysis of self-adaptive systems by graph transformation
• scientific article; zbMATH DE number 4172406 (Why is no real title available?)

Describes a project that uses

Uses Software

• LCF

This page was built for publication: Structured algebraic specifications: A kernel language

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