Safe Specification of Operator Precedence Rules
Abstract elided by the publisher.
395 papers · page 14 of 20
A Generic Framework for Symbolic Execution
Abstract elided by the publisher.
A Pretty Good Formatting Pipeline
Abstract elided by the publisher.
Partial Instances via Subclassing
Abstract elided by the publisher.
Dark Knowledge and Graph Grammars in Automated Software Design
Abstract elided by the publisher.
Reifying Concurrency for Executable Metamodeling
Abstract elided by the publisher.
A Model-Driven Approach to Enhance Tool Interoperability Using the Theory of Models of Computation
Abstract elided by the publisher.
Mapping-Aware Megamodeling: Design Patterns and Laws
Abstract elided by the publisher.
The State of the Art in Language Workbenches - Conclusions from the Language Workbench Challenge
Abstract elided by the publisher.
Software Evolution to Domain-Specific Languages
Abstract elided by the publisher.
Micro-Machinations - A DSL for Game Economies
Abstract elided by the publisher.
Method and Tool Support for Classifying Software Languages with Wikipedia
Abstract elided by the publisher.
xMOF: Executable DSMLs Based on fUML
Abstract elided by the publisher.
Whiley: A Platform for Research in Software Verification
Abstract elided by the publisher.
Developing a Domain-Specific Language for Scheduling in the European Energy Sector
Abstract elided by the publisher.
Circular Higher-Order Reference Attribute Grammars
Abstract elided by the publisher.
Variability Support in Domain-Specific Language Development
Abstract elided by the publisher.
Detecting Ambiguity in Programming Language Grammars
Abstract elided by the publisher.
A Language Independent Task Engine for Incremental Name and Type Analysis
Abstract elided by the publisher.
Micropatterns in Grammars
Micropatterns and nanopatterns have been previously demonstrated to be useful techniques for object-oriented program comprehension. In this paper, we use a similar approach for identifying structurally similar fragments in grammars in a broad sense (contracts for commitment to st…