An Introduction to Grammar Convergence

DOI10.1007/978-3-642-00255-7_17MaRDI QIDQ3605471zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Vadim Zaytsev, Ralf Lämmel

Publication date 24 February 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-00255-7_17

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 2155200
• scientific article; zbMATH DE number 43017
• The Theory of Grammar Constraints
• An essay on general grammars
• A tale of conjunctive grammars
• The logic of unification in grammar
• scientific article; zbMATH DE number 3972840
• scientific article; zbMATH DE number 1747449
• Narrowing grammar: theory, implementation, and applications
• Grammatical unification

Cites work

• scientific article; zbMATH DE number 1693450 (Why is no real title available?)
• scientific article; zbMATH DE number 1693521 (Why is no real title available?)
• scientific article; zbMATH DE number 46740 (Why is no real title available?)
• scientific article; zbMATH DE number 5254145 (Why is no real title available?)
• A survey of approaches to automatic schema matching
• Controllable Combinatorial Coverage in Grammar-Based Testing
• Proof of correctness of data representations
• Semi-automatic grammar recovery

Describes a project that uses

Uses Software

• Geno
• GDK
• GRK
• UMLDiff

This page was built for publication: An Introduction to Grammar Convergence

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