Sciweavers

Share
84 search results - page 1 / 17
» The JastAdd extensible Java compiler
Sort
View
OOPSLA
2007
Springer
12 years 5 months ago
The JastAdd extensible Java compiler
We have implemented intraprocedural control-flow and data-flow analysis of Java source code in a declarative manner, using reference attribute grammars augmented with circular a...
Torbjörn Ekman, Görel Hedin
AOSD
2008
ACM
12 years 1 months ago
Modularity first: a case for mixing AOP and attribute grammars
We have reimplemented the frontend of the extensible AspectBench Compiler for AspectJ, using the aspect-oriented meta-compiler JastAdd. The original frontend was purely object-ori...
Pavel Avgustinov, Torbjörn Ekman, Julian Tibb...
CC
2003
Springer
124views System Software» more  CC 2003»
12 years 4 months ago
Polyglot: An Extensible Compiler Framework for Java
Polyglot is an extensible compiler framework that supports the easy creation of compilers for languages similar to Java, while avoiding code duplication. The Polyglot framework is ...
Nathaniel Nystrom, Michael R. Clarkson, Andrew C. ...
ICOODB
2009
246views Database» more  ICOODB 2009»
11 years 9 months ago
Compiler Plugins Can Handle Nested Languages: AST-Level Expansion of LINQ Queries for Java
The integration of database and programming languages is made difficult by the different data models and type systems prevalent in each field. Functional-object query languages con...
Miguel Garcia
CADE
2002
Springer
13 years 2 hour ago
Formal Verification of a Java Compiler in Isabelle
This paper reports on the formal proof of correctness of a compiler from a substantial subset of Java source language to Java bytecode in the proof environment Isabelle. This work ...
Martin Strecker
books