An algebraically specified language for data directed design

DOI10.1016/0304-3975(90)90120-7zbMATH Open0714.68054OpenAlexW2075330229MaRDI QIDQ751297FDOQ751297

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

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

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)

Cites Work

• Title not available (Why is that?)
• Initial Algebra Semantics and Continuous Algebras
• Title not available (Why is that?)
• Data Type Specification: Parameterization and the Power of Specification Techniques
• Title not available (Why is that?)
• An algebraic model for programming languages
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (2)

• Title not available (Why is that?)
• On the role of memory in object-based and object-oriented languages

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)