Formal attributes traceability in modular language development frameworks

DOI10.1016/J.ENTCS.2016.03.009zbMATH Open1345.68033DBLPjournals/entcs/CazzolaGS16OpenAlexW2340411906WikidataQ57735829 ScholiaQ57735829MaRDI QIDQ737093FDOQ737093

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

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

zbMATH Keywords

modularitycompositiontype inferenceformal validation of compositionmodular language implementation

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Cites Work

• Semantics of context-free languages
• Title not available (Why is that?)
• Silver: an extensible attribute grammar system

Cited In (1)

• Title not available (Why is that?)

Uses Software

• Spoofax
• Neverlang

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)