Increasing modularity and language-independency in automatically generated compilers
From MaRDI portal
Publication:1058844
DOI10.1016/0167-6423(83)90021-7zbMath0565.68011OpenAlexW1965240571WikidataQ122977808 ScholiaQ122977808MaRDI QIDQ1058844
Publication date: 1983
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0167-6423(83)90021-7
semantic processingautomatic compiler generationlanguage-independent modulesmodular compiler descriptions
Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05) Theory of operating systems (68N25)
Related Items
Composition and evaluation of attribute coupled grammars, Silver: an extensible attribute grammar system, Attribute grammars as tree transducers over cyclic representations of infinite trees and their descriptional composition, Extended Multi Bottom-Up Tree Transducers, Compositions of extended top-down tree transducers, Harald Ganzinger’s Legacy: Contributions to Logics and Programming, A Generic Functional Representation of Sorted Trees Supporting Attribution, Composing stack-attributed tree transducers, Linear-bounded composition of tree-walking tree transducers: linear size increase and complexity, The generating power of total deterministic tree transducers, Extended multi bottom-up tree transducers, A comparison of tree transductions defined by monadic second order logic and by attribute grammars, Macro tree transducers, attribute grammars, and MSO definable tree translations.
