Formal attributes traceability in modular language development frameworks

DOI10.1016/J.ENTCS.2016.03.009MaRDI QIDQ737093zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Walter Cazzola, Paola Giannini, Albert Shaqiri

Publication date 5 August 2016

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

zbMATH Keywords

modularitycompositiontype inferenceformal validation of compositionmodular language implementation

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• A module system for domain-specific languages
• scientific article; zbMATH DE number 1949605
• scientific article; zbMATH DE number 1002576
• scientific article; zbMATH DE number 5949255
• scientific article; zbMATH DE number 2020218

Cites work

• scientific article; zbMATH DE number 2080046 (Why is no real title available?)
• Semantics of context-free languages
• Silver: an extensible attribute grammar system

Cited in

(1)

• scientific article; zbMATH DE number 1002576 (Why is no real title available?)

Describes a project that uses

Uses Software

• Neverlang
• Spoofax

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

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