Higher order attribute grammars
PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
BEG: a generator for efficient back ends
PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
CENTAUR: towards a “software tool box” for programming environments
Proceedings of the international workshop on environments on Software engineering environments
A retargetable compiler for ANSI C
ACM SIGPLAN Notices
BURG: fast optimal instruction selection and tree parsing
ACM SIGPLAN Notices
Comparison of syntactic error handling in LR parsers
Software—Practice & Experience
ANTLR: a predicated-LL(k) parser generator
Software—Practice & Experience
ISDL: an instruction set description language for retargetability
DAC '97 Proceedings of the 34th annual Design Automation Conference
Parametric shape analysis via 3-valued logic
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Efficient and flexible incremental parsing
ACM Transactions on Programming Languages and Systems (TOPLAS)
A unified approach to global program optimization
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Efficient Parsing for Natural Language: A Fast Algorithm for Practical Systems
Efficient Parsing for Natural Language: A Fast Algorithm for Practical Systems
Computer
ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
NTIF: A General Symbolic Model for Communicating Sequential Processes with Data
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
A Proof Technique for Rely/Guarantee Properties
Proceedings of the Fifth Conference on Foundations of Software Technology and Theoretical Computer Science
Programming-in-the large versus programming-in-the-small
Proceedings of the international conference on Reliable software
DMS®: Program Transformations for Practical Scalable Software Evolution
Proceedings of the 26th International Conference on Software Engineering
On the Notion of Abstract Platform in MDA Development
EDOC '04 Proceedings of the Enterprise Distributed Object Computing Conference, Eighth IEEE International
The TXL source transformation language
Science of Computer Programming - The fourth workshop on language descriptions, tools, and applications (LDTA'04)
Domain-specific Model Checking Using The Bogor Framework
ASE '06 Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering
Compilers: Principles, Techniques, and Tools (2nd Edition)
Compilers: Principles, Techniques, and Tools (2nd Edition)
Model-driven Development of Complex Software: A Research Roadmap
FOSE '07 2007 Future of Software Engineering
Test Synthesis from UML Models of Distributed Software
IEEE Transactions on Software Engineering
VLHCC '07 Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing
The JastAdd system — modular extensible compiler construction
Science of Computer Programming
Towards Verifying Model Transformations
Electronic Notes in Theoretical Computer Science (ENTCS)
Stratego/XT 0.17. A language and toolset for program transformation
Science of Computer Programming
Formal Verification of a C-like Memory Model and Its Uses for Verifying Program Transformations
Journal of Automated Reasoning
A domain specific modeling language for multiagent systems
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 1
Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Electronic Notes in Theoretical Computer Science (ENTCS)
Software Language Engineering: Creating Domain-Specific Languages Using Metamodels
Software Language Engineering: Creating Domain-Specific Languages Using Metamodels
May/must analysis and the DFAGen data-flow analysis generator
Information and Software Technology
Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Language Design for Meta-programming in the Software Composition Domain
SC '09 Proceedings of the 8th International Conference on Software Composition
Managing Models through Macromodeling
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Guest Editors' Introduction to the Special Section on Software Language Engineering
IEEE Transactions on Software Engineering
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Barriers to systematic model transformation testing
Communications of the ACM
Templatable metamodels for semantic variation points
ECMDA-FA'07 Proceedings of the 3rd European conference on Model driven architecture-foundations and applications
Formal verification of an optimizing compiler
RTA'07 Proceedings of the 18th international conference on Term rewriting and applications
Integrating legacy systems with MDE
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
Specifying overlaps of heterogeneous models for global consistency checking
Proceedings of the First International Workshop on Model-Driven Interoperability
Toward optimized code generation through model-based optimization
Proceedings of the Conference on Design, Automation and Test in Europe
Inter-modelling: from theory to practice
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
Empirical assessment of MDE in industry
Proceedings of the 33rd International Conference on Software Engineering
Model-driven engineering and optimizing compilers: a bridge too far?
Proceedings of the 14th international conference on Model driven engineering languages and systems
A DSML for reversible transformations
Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11
Bridging grammarware and modelware
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Weaving executability into object-oriented meta-languages
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Explicit platform models for MDA
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Systematic and Automated Multiprocessor System Design, Programming, and Implementation
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
Fact or fiction --- reuse in rule-based model-to-model transformation languages
ICMT'12 Proceedings of the 5th international conference on Theory and Practice of Model Transformations
Typing artifacts in megamodeling
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
Modeling and transforming have always been the cornerstones of software system development, albeit often investigated by different research communities. Modeling addresses how information is represented and processed, while transformation cares about what the results of processing this information are. To address the growing complexity of software systems, model-driven engineering (MDE) leverages domain-specific languages to define abstract models of systems and automated methods to process them. Meanwhile, compiler technology mostly concentrates on advanced techniques and tools for program transformation. For this, it has developed complex analyses and transformations (from lexical and syntactic to semantic analyses, down to platform-specific optimizations). These two communities appear today quite complementary and are starting to meet again in the software language engineering (SLE) field. SLE addresses all the stages of a software language lifecycle, from its definition to its tooling. In this article, we show how SLE can lean on the expertise of both MDE and compiler research communities and how each community can bring its solutions to the other one. We then draw a picture of the current state of SLE and of the challenges it has still to face.