C-Transformers: a framework to write C program transformations

Object-oriented software construction (2nd ed.)

Object-oriented software construction (2nd ed.)
Efficient annotated terms

Software—Practice & Experience
Efficient Parsing for Natural Language: A Fast Algorithm for Practical Systems

Efficient Parsing for Natural Language: A Fast Algorithm for Practical Systems
Design by Contract: The Lessons of Ariane

Computer
Grammers as Contracts

GCSE '00 Proceedings of the Second International Symposium on Generative and Component-Based Software Engineering-Revised Papers
CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs

CC '02 Proceedings of the 11th International Conference on Compiler Construction
Concrete syntax for objects: domain-specific language embedding and assimilation without restrictions

OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Introducing VAUCANSON

CIAA'03 Proceedings of the 8th international conference on Implementation and application of automata
MetaBorg in action: examples of domain-specific language embedding and assimilation using Stratego/XT

GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering

Stayin' alert:: moulding failure and exceptions to your needs

Proceedings of the 5th international conference on Generative programming and component engineering
Combining source-to-source transformations and processor instruction set extensions for the automated design-space exploration of embedded systems

Proceedings of the 2007 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
Grammar Engineering Support for Precedence Rule Recovery and Compatibility Checking

Electronic Notes in Theoretical Computer Science (ENTCS)
Preparing for C++0x

Companion to the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Code transformation and instruction set extension

ACM Transactions on Embedded Computing Systems (TECS)
The axioms strike back: testing with concepts and axioms in C++

GPCE '09 Proceedings of the eighth international conference on Generative programming and component engineering
Semantics Driven Disambiguation: A Comparison of Different Approaches

Electronic Notes in Theoretical Computer Science (ENTCS)
Pure and declarative syntax definition: paradise lost and regained

Proceedings of the ACM international conference on Object oriented programming systems languages and applications

Hi-index	0.00