An algebraic model for programming languages

DOI10.1016/0096-0551(87)90021-XMaRDI QIDQ3766805zbMATH OpenOpenAlexFDO

Authors Teodor Rus

Publication date 1987

Published in Computer Languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0096-0551(87)90021-x

zbMATH Keywords

BNF rulescompilerfree algebralanguage implementationprogramming language specificationsource language program evaluationtranslatoruniversal algebras

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• Parsing languages by pattern matching
• On the algebraic definition of programming languages
• An algebraic model of von Neumann programming languages
• An algebraic approach to semantics of programming languages
• scientific article; zbMATH DE number 3890710

Cited in

(21)

• An algebraic model of von Neumann programming languages
• Finite generation of ambiguity in context-free languages
• Algebraic translations, correctness and algebraic compiler construction
• Algebraic processing of programming languages
• Denotational models for programming languages: Applications of Banach's fixed point theorem
• A language for easy and efficient modeling of Turing machines
• Abstract language design
• A Structure-Exploiting Tool in Algebraic Modeling Languages
• scientific article; zbMATH DE number 3851055 (Why is no real title available?)
• scientific article; zbMATH DE number 3890697 (Why is no real title available?)
• scientific article; zbMATH DE number 3986620 (Why is no real title available?)
• On the algebraic definition of programming languages
• Parsing languages by pattern matching
• scientific article; zbMATH DE number 4104365 (Why is no real title available?)
• scientific article; zbMATH DE number 30309 (Why is no real title available?)
• scientific article; zbMATH DE number 40567 (Why is no real title available?)
• scientific article; zbMATH DE number 194122 (Why is no real title available?)
• scientific article; zbMATH DE number 1022228 (Why is no real title available?)
• scientific article; zbMATH DE number 2013571 (Why is no real title available?)
• Formal models for some features of programming languages
• An algebraically specified language for data directed design

This page was built for publication: An algebraic model for programming languages

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