An algebraic model for programming languages

DOI10.1016/0096-0551(87)90021-XzbMath0629.68004OpenAlexW1973775986MaRDI QIDQ3766805

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

free algebrauniversal algebraslanguage implementationcompilertranslatorprogramming language specificationBNF rulessource language program evaluation

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (7)

Abstract language design ⋮ Finite generation of ambiguity in context-free languages ⋮ Algebraic translations, correctness and algebraic compiler construction ⋮ Algebraic processing of programming languages ⋮ Unnamed Item ⋮ An algebraically specified language for data directed design ⋮ Unnamed Item

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