140 search results - page 3 / 28 » Interpretation and Transformation for Abstracting Conversati... |
WORDS
2003
IEEE
15 years 3 months ago
2003
IEEE
The execution time of software for hard real-time systems must be predictable. Further, safe and not overly pessimistic bounds for the worst-case execution time (WCET) must be com...
ENTCS
2008
14 years 9 months ago
2008
Abstract Machine Greg Manning1 Detlef Plump2 Department of Computer Science The University of York, UK duce the York Abstract Machine (YAM) for implementing the graph programming ...
VMCAI
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. This paper is concerned with one of the basic problems in abstract interpretation, namely, for a given abstraction and a given set of concrete transformers (that express ...
129
click to vote
LISP
2002
14 years 9 months ago
2002
Abstract. Local CPS conversion is a compiler transformation for improving the code generated for nested loops by a direct-style compiler that uses recursive functions to represent ...
CORR
2010
Springer
14 years 9 months ago
2010
Springer
In this paper, we build an interpreter by reusing host language functions instead of recoding mechanisms of function application that are already available in the host language (t...