224 search results - page 7 / 45 » Translating Java Code to Graph Transformation Systems |
VMCAI
2005
Springer
14 years 29 days ago
2005
Springer
Abstract. We present a context-sensitive compositional analysis of information flow for full (mono-threaded) Java bytecode. Our idea consists in transforming the Java bytecode int...
SP
1999
IEEE
13 years 11 months ago
1999
IEEE
This work introduces a new approach to code safety. We present Naccio, a system architecture that allows a large class of safety policies to be expressed in a general and platform...
CONCURRENCY
2000
13 years 7 months ago
2000
Implementing efficient communication and I/O mechanisms in Java requires both fast access to lowlevel system resources (such as network and raw disk interfaces) and direct manipul...
DATE
2003
IEEE
14 years 23 days ago
2003
IEEE
Abstract— This paper introduces a transformational design method which can be used to map code written in a high level source language, like C, to a coarse grain reconfigurable ...
SLE
2009
Springer
14 years 18 hour ago
2009
Springer
Abstract. Model-Driven Software Development is based on standardised models that are refined, transformed and eventually translated into executable code using code generators. How...