Abstract data types and algebraic semantics of programming languages

DOI10.1016/0304-3975(82)90109-8zbMath0499.68010OpenAlexW1970677989WikidataQ111465598 ScholiaQ111465598MaRDI QIDQ1171877

C. Pair

Publication date: 1982

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

Full work available at URL: https://doi.org/10.1016/0304-3975(82)90109-8

zbMATH Keywords

algebraic semanticsabstract data typescompiler correctnesssemantics of programming languages

Mathematics Subject Classification ID

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

Related Items

On the implementation of abstract data types by programming language constructs ⋮ Abstract data types and algebraic semantics of programming languages ⋮ A systematic study of models of abstract data types

Uses Software

• ALGOL 68

Cites Work

• First-order identities as a defining language
• Abstract data types and algebraic semantics of programming languages
• The algebraic specification of abstract data types
• The denotational semantics of programming languages
• Initial Algebra Semantics and Continuous Algebras
• Abstract data types and software validation
• Semantics of context-free languages
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item