An attributed translation grammar for PL/0

DOI10.1080/00207168708803567zbMath0656.68027OpenAlexW2158722186WikidataQ126244417 ScholiaQ126244417MaRDI QIDQ3804176

Carolina Paciencia Salas McCluskey

Publication date: 1987

Published in: International Journal of Computer Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00207168708803567

zbMATH Keywords

operational semanticscode generationprogram semanticsparsing treePL/0attributed translation grammar

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Unnamed Item
• Attributed translations
• A model for the formal definition of programming languages
• Semantics of context-free languages

This page was built for publication: An attributed translation grammar for PL/0