674 search results - page 108 / 135 » Explanation Based Program Transformation |
JIT
2004
Springer
15 years 3 months ago
2004
Springer
In this paper we present a novel scheme for portable CPU accounting and control in Java, which is based on program transformation techniques and can be used with every standard Jav...
121
click to vote
WWW
2004
ACM
15 years 10 months ago
2004
ACM
This paper presents automatic generation of the Web Ontology Language (OWL) from an UML model. The solution is based on an MDA-defined architecture for ontology development and th...
ICALP
2009
Springer
15 years 10 months ago
2009
Springer
We take a dual view of Markov processes ? advocated by Kozen ? as transformers of bounded measurable functions. We redevelop the theory of labelled Markov processes from this view ...
ICSE
2007
IEEE-ACM
15 years 9 months ago
2007
IEEE-ACM
Many end user programming tools such as spreadsheets and databases offer poor support for representing a level of abstraction that is intuitive to users. For example, users must w...
SEFM
2008
IEEE
15 years 4 months ago
2008
IEEE
We present an approach to find upper bounds of heap space for Java Card applets. Our method first transforms an input bytecode stream into a control flow graph (CFG), and then ...