The implementation of the Icon programming language
The implementation of the Icon programming language
The automatic generation of Fast Lexical Analysers
Software—Practice & Experience
Graph translation schemes to generate compiler parts
ACM Transactions on Programming Languages and Systems (TOPLAS)
C3P Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues - Volume 1
A mechanism for environment integration
ACM Transactions on Programming Languages and Systems (TOPLAS)
Use of attribute grammars in compiler construction
WAGA Proceedings of the international conference on Attribute grammars and their applications
ICON Programmng Language
Overloading in preliminary Ada
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on Ada programming language
Algol-60 Implementation
An executable language definition
ACM SIGPLAN Notices
RE2C: a more versatile scanner generator
ACM Letters on Programming Languages and Systems (LOPLAS)
Operating system kernel automatic construction
ACM SIGOPS Operating Systems Review
Report of a workshop on future directions in programming languages and compilers
ACM SIGPLAN Notices
An evaluation of an automatically generated compiler
ACM Transactions on Programming Languages and Systems (TOPLAS)
Generating testing and analysis tools with Aria
ACM Transactions on Software Engineering and Methodology (TOSEM)
Beyond traditional program slicing
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Introducing formal specification methods in industrial practice
ICSE '97 Proceedings of the 19th international conference on Software engineering
Automated construction of testing and analysis tools
ICSE '94 Proceedings of the 16th international conference on Software engineering
Rosetta: a generator of data language compilers
Proceedings of the 1997 symposium on Software reusability
Characteristics of modern system implementation languages
CSC '95 Proceedings of the 1995 ACM 23rd annual conference on Computer science
GENOA—a customizable, front-end-retargetable source code analysis framework
ACM Transactions on Software Engineering and Methodology (TOSEM)
IEEE Transactions on Parallel and Distributed Systems
A programmable preprocessor for parallelizing Fortran-90
SC '99 Proceedings of the 1999 ACM/IEEE conference on Supercomputing
SIGCSE '02 Proceedings of the 33rd SIGCSE technical symposium on Computer science education
Interactive language development for embedded systems
Nordic Journal of Computing
GCSE '99 Proceedings of the First International Symposium on Generative and Component-Based Software Engineering
Vanilla: An Open Language Framework
GCSE '99 Proceedings of the First International Symposium on Generative and Component-Based Software Engineering
A Strafunski Application Letter
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Reuse Methods for Construction of Parallel Software
SOFSEM '98 Proceedings of the 25th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
Integrating Domain Specific Language Design in the Software Life Cycle
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
SRL 3/4"A Simple Retargetable Loader
ASWEC '97 Proceedings of the Australian Software Engineering Conference
Generating Dynamic Program Analysis Tools
ASWEC '97 Proceedings of the Australian Software Engineering Conference
Structure and behavior awareness in themis
Proceedings of the fourteenth ACM conference on Hypertext and hypermedia
Generating LR syntax error messages from examples
ACM Transactions on Programming Languages and Systems (TOPLAS)
Generating spreadsheet-like tools from strong attribute grammars
Proceedings of the 2nd international conference on Generative programming and component engineering
On exponential-time completeness of the circularity problem for attribute grammars
ACM Transactions on Programming Languages and Systems (TOPLAS)
Student culture vs group work in computer science
Proceedings of the 35th SIGCSE technical symposium on Computer science education
Traversals of object structures: Specification and Efficient Implementation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Implementation of visual languages using pattern-based specifications
Software—Practice & Experience
Toward an engineering discipline for grammarware
ACM Transactions on Software Engineering and Methodology (TOSEM)
Journal of the ACM (JACM)
When and how to develop domain-specific languages
ACM Computing Surveys (CSUR)
The Zephyr abstract syntax description language
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
Implementing aspect-oriented programming constructs as modular language extensions
Science of Computer Programming
The metafront system: Safe and extensible parsing and transformation
Science of Computer Programming
An action compiler targeting Standard ML
Science of Computer Programming
Silver: an Extensible Attribute Grammar System
Electronic Notes in Theoretical Computer Science (ENTCS)
Stratego/XT 0.17. A language and toolset for program transformation
Science of Computer Programming
Macros for context-free grammars
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
Implementing MAC protocols for cooperative relaying: a compiler-assisted approach
Proceedings of the 1st international conference on Simulation tools and techniques for communications, networks and systems & workshops
The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity
Implementation and Application of Functional Languages
WebDSL: A Case Study in Domain-Specific Language Engineering
Generative and Transformational Techniques in Software Engineering II
Model-Driven Engineering Meets Generic Language Technology
Software Language Engineering
Silver: An extensible attribute grammar system
Science of Computer Programming
A platform for the automatic generation of attribute evaluation hardware systems
Computer Languages, Systems and Structures
An Action Compiler Targeting Standard ML
Electronic Notes in Theoretical Computer Science (ENTCS)
Eclipse Support for Using Eli and Teaching Programming Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Using Off-the-Shelf Formal Methods to Verify Attribute Grammar Properties
Electronic Notes in Theoretical Computer Science (ENTCS)
Visual Patterns Associated to Abstract Trees
Electronic Notes in Theoretical Computer Science (ENTCS)
Running the NIM Next-Generation Weather Model on GPUs
CCGRID '10 Proceedings of the 2010 10th IEEE/ACM International Conference on Cluster, Cloud and Grid Computing
Syntactic Language Extension via an Algebra of Languages and Transformations
Electronic Notes in Theoretical Computer Science (ENTCS)
SLAMM - Automating Memory Analysis for Numerical Algorithms
Electronic Notes in Theoretical Computer Science (ENTCS)
Automated Development of Cooperative MAC Protocols
Mobile Networks and Applications
Mappings make data processing go 'round
GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
Incremental programming language development
Computer Languages, Systems and Structures
An attribute-grammar framework for specifying the accessibility in Java programs
Computer Languages, Systems and Structures
On the applicability of the longest-match rule in lexical analysis
Computer Languages, Systems and Structures
Attribute grammar-based language extensions for java
ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming
Banana Algebra: Compositional syntactic language extension
Science of Computer Programming
Programs from proofs: a PCC alternative
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification
| Hi-index | 48.22 |