scientific article; zbMATH DE number 1949605

MaRDI QIDQ4412503zbMATH OpenFDO

Authors Ying Liu, Naixiao Zhang

Publication date 15 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2495/24950237.htm

zbMATH Keywords

Attribute GrammarDomain-Specific LanguagesDynamic SemanticsEvolving AlgebraLanguage ConceptReuseStatic Semantics

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Computing methodologies and applications (68U99)

Recommendations

• Domain-Specific Language Design Requires Feature Descriptions
• scientific article; zbMATH DE number 2080278
• scientific article; zbMATH DE number 1926608
• scientific article; zbMATH DE number 2020218
• scientific article; zbMATH DE number 5949255

Cited in

(9)

• Design for proof: An approach to the design of domain-specific languages
• Multilevel coupled model transformations for precise and reusable definition of model behaviour
• Domain-Specific Language Design Requires Feature Descriptions
• Amalgamation of domain specific languages with behaviour
• scientific article; zbMATH DE number 2013380 (Why is no real title available?)
• scientific article; zbMATH DE number 2020218 (Why is no real title available?)
• scientific article; zbMATH DE number 1926608 (Why is no real title available?)
• Denotational semantics of a user-oriented, domain-specific language
• Formal attributes traceability in modular language development frameworks

This page was built for publication:

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