Programming from specifications
Programming from specifications
Abstract syntax from concrete syntax
ICSE '97 Proceedings of the 19th international conference on Software engineering
Java Language Specification, Second Edition: The Java Series
Java Language Specification, Second Edition: The Java Series
The Java Language Specification
The Java Language Specification
Semi-automatic grammar recovery
Software—Practice & Experience
Applying software engineering techniques to parser design: the development of a C# parser
SAICSIT '02 Proceedings of the 2002 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology
Cracking the 500-Language Problem
IEEE Software
Schema Transformation Techniques for Database Reverse Engineering
ER '93 Proceedings of the 12th International Conference on the Entity-Relationship Approach: Entity-Relationship Approach
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
A survey of approaches to automatic schema matching
The VLDB Journal — The International Journal on Very Large Data Bases
Development, Assessment, and Reengineering of Language Descriptions
CSMR '00 Proceedings of the Conference on Software Maintenance and Reengineering
SCAM '02 Proceedings of the Second IEEE International Workshop on Source Code Analysis and Manipulation
Generating Robust Parsers using Island Grammars
WCRE '01 Proceedings of the Eighth Working Conference on Reverse Engineering (WCRE'01)
Cost-Effective Maintenance Tools for Proprietary Languages
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Lightweight Impact Analysis using Island Grammars
IWPC '02 Proceedings of the 10th International Workshop on Program Comprehension
Generalized Selective XML Markup of Source Code Using Agile Parsing
IWPC '03 Proceedings of the 11th IEEE International Workshop on Program Comprehension
Deriving tolerant grammars from a base-line grammar
ICSM '03 Proceedings of the International Conference on Software Maintenance
Automated Software Engineering
Can a parser be generated from examples?
Proceedings of the 2003 ACM symposium on Applied computing
Robust multilingual parsing using island grammars
CASCON '03 Proceedings of the 2003 conference of the Centre for Advanced Studies on Collaborative research
Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley))
Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley))
A Technique for Extracting Keyword Based Rules from a Set of Programs
CSMR '05 Proceedings of the Ninth European Conference on Software Maintenance and Reengineering
Towards the Automatic Evolution of Reengineering Tools
CSMR '05 Proceedings of the Ninth European Conference on Software Maintenance and Reengineering
Extracting grammar from programs: evolutionary approach
ACM SIGPLAN Notices
Toward an engineering discipline for grammarware
ACM Transactions on Software Engineering and Methodology (TOSEM)
A deterministic technique for extracting keyword based grammar rules from programs
Proceedings of the 2006 ACM symposium on Applied computing
TCS:: a DSL for the specification of textual concrete syntaxes in model engineering
Proceedings of the 5th international conference on Generative programming and component engineering
Refactoring Detection based on UMLDiff Change-Facts Queries
WCRE '06 Proceedings of the 13th Working Conference on Reverse Engineering
Matching large schemas: Approaches and evaluation
Information Systems
Example-Driven Reconstruction of Software Models
CSMR '07 Proceedings of the 11th European Conference on Software Maintenance and Reengineering
Search-based inference of dialect grammars
Soft Computing - A Fusion of Foundations, Methodologies and Applications
An Automated Approach to Grammar Recovery for a Dialect of the C++ Language
WCRE '07 Proceedings of the 14th Working Conference on Reverse Engineering
Grammar Engineering Support for Precedence Rule Recovery and Compatibility Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
Proceedings of the 30th international conference on Software engineering
Metamodel Matching for Automatic Model Transformation Generation
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Heterogeneous Coupled Evolution of Software Languages
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Automating Co-evolution in Model-Driven Engineering
EDOC '08 Proceedings of the 2008 12th International IEEE Enterprise Distributed Object Computing Conference
Transforming Data by Calculation
Generative and Transformational Techniques in Software Engineering II
From spreadsheets to relational databases and back
Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation
An Introduction to Grammar Convergence
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
A Case Study in Grammar Engineering
Software Language Engineering
Grammar Recovery from Parse Trees and Metrics-Guided Grammar Refactoring
IEEE Transactions on Software Engineering
Strategic term rewriting and its application to a VDM-SL to SQL conversion
FM'05 Proceedings of the 2005 international conference on Formal Methods
Mappings make data processing go 'round
GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
Agile parsing to transform web applications
GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
Co-transformations in database applications evolution
GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
Inferring grammar rules of programming language dialects
ICGI'06 Proceedings of the 8th international conference on Grammatical Inference: algorithms and applications
Coupled schema transformation and data conversion for XML and SQL
PADL'07 Proceedings of the 9th international conference on Practical Aspects of Declarative Languages
Metamodel adaptation and model co-adaptation
ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Comparison of context-free grammars based on parsing generated test data
SLE'11 Proceedings of the 4th international conference on Software Language Engineering
Notation-parametric grammar recovery
Proceedings of the Twelfth Workshop on Language Descriptions, Tools, and Applications
Negotiated grammar transformation
Proceedings of the 2012 Extreme Modeling Workshop
Hi-index | 0.00 |
Grammar convergence is a method that helps in discovering relationships between different grammars of the same language or different language versions. The key element of the method is the operational, transformation-based representation of those relationships. Given input grammars for convergence, they are transformed until they are structurally equal. The transformations are composed from primitive operators; properties of these operators and the composed chains provide quantitative and qualitative insight into the relationships between the grammars at hand. We describe a refined method for grammar convergence, and we use it in a major study, where we recover the relationships between all the grammars that occur in the different versions of the Java Language Specification (JLS). The relationships are represented as grammar transformation chains that capture all accidental or intended differences between the JLS grammars. This method is mechanized and driven by nominal and structural differences between pairs of grammars that are subject to asymmetric, binary convergence steps. We present the underlying operator suite for grammar transformation in detail, and we illustrate the suite with many examples of transformations on the JLS grammars. We also describe the extraction effort, which was needed to make the JLS grammars amenable to automated processing. We include substantial metadata about the convergence process for the JLS so that the effort becomes reproducible and transparent.