Formal attributes traceability in modular language development frameworks

DOI10.1016/J.ENTCS.2016.03.009zbMath1345.68033OpenAlexW2340411906WikidataQ57735829 ScholiaQ57735829MaRDI QIDQ737093

Paola Giannini, Walter Cazzola, Albert Shaqiri

Publication date: 5 August 2016

Full work available at URL: https://doi.org/10.1016/j.entcs.2016.03.009

zbMATH Keywords

compositionmodularitytype inferenceformal validation of compositionmodular language implementation

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Uses Software

• Spoofax
• Neverlang

Cites Work

• Unnamed Item
• Silver: an extensible attribute grammar system
• Semantics of context-free languages

This page was built for publication: Formal attributes traceability in modular language development frameworks