An algebraically specified language for data directed design

DOI10.1016/0304-3975(90)90120-7zbMath0714.68054OpenAlexW2075330229MaRDI QIDQ751297

Eric G. Wagner

Publication date: 1990

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

Full work available at URL: https://doi.org/10.1016/0304-3975(90)90120-7

zbMATH Keywords

semanticsprogramming languageabstract syntax

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Grammars and rewriting systems (68Q42)

Related Items

On the role of memory in object-based and object-oriented languages

Uses Software

• Eiffel

Cites Work

• An algebraic model for programming languages
• Data Type Specification: Parameterization and the Power of Specification Techniques
• Initial Algebra Semantics and Continuous Algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item