An algebraically specified language for data directed design

DOI10.1016/0304-3975(90)90120-7MaRDI QIDQ751297zbMATH OpenOpenAlexFDO

Authors 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

programming languagesemanticsabstract syntax

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 139982
• On the algebraic structure of declarative programming languages
• On the algebraic definition of programming languages
• scientific article; zbMATH DE number 1263393
• An algebraic approach to semantics of programming languages

Cites work

• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 3936500 (Why is no real title available?)
• scientific article; zbMATH DE number 4050953 (Why is no real title available?)
• scientific article; zbMATH DE number 475237 (Why is no real title available?)
• scientific article; zbMATH DE number 1105469 (Why is no real title available?)
• An algebraic model for programming languages
• Data Type Specification: Parameterization and the Power of Specification Techniques
• Initial Algebra Semantics and Continuous Algebras

Cited in

(2)

• On the role of memory in object-based and object-oriented languages
• scientific article; zbMATH DE number 139982 (Why is no real title available?)

Describes a project that uses

Uses Software

• Eiffel

This page was built for publication: An algebraically specified language for data directed design

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