scientific article; zbMATH DE number 3812932

MaRDI QIDQ3660896zbMATH OpenFDO

Authors Martin Wirsing

Publication date 1982

zbMATH Keywords

abstract domain equationsfixed point operatorlambda-calculusmathematical semantics

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) General topics in the theory of software (68N01) Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(6)

• Structured algebraic specifications: A kernel language
• On observational equivalence and algebraic specification
• Specifications in an arbitrary institution
• Observational proofs by rewriting.
• scientific article; zbMATH DE number 4153905 (Why is no real title available?)
• The foundational legacy of ASL

This page was built for publication:

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