224 search results - page 12 / 45 » Translating Java Code to Graph Transformation Systems |
CAV
2012
Springer
13 years 14 days ago
2012
Springer
Abstract. In earlier work, we developed a technique to prove termination of Java programs automatically: first, Java programs are automatically transformed to term rewrite systems...
120
click to vote
ACSC
2004
IEEE
15 years 1 months ago
2004
IEEE
The Java Programming Language has been praised for its platform independence and portability, but because of its slow execution speed on a software Java Virtual Machine (JVM), som...
CASES
2006
ACM
15 years 4 months ago
2006
ACM
A Java bytecode-to-C ahead-of-time compiler (AOTC) can improve the performance of a Java virtual machine (JVM) by translating bytecode into C code, which is then compiled into mac...
ISCC
2009
IEEE
15 years 4 months ago
2009
IEEE
Reconfigurable computing is one of the most recent research topics in computer science. The Altera™ Nios II soft-core processor can be included in a large set of reconfigurable ...
FASE
2005
Springer
15 years 3 months ago
2005
Springer
Graphs are a common means to represent structures in models and meta-models of software systems. In this context, the description of model domains by classifying the domain entitie...