66 search results - page 1 / 14 » Design of Syntactic Program Transformations by Abstract Inte... |
ICLP
2001
Springer
13 years 9 months ago
2001
Springer
VMCAI
2007
Springer
13 years 11 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 ...
POPL
2002
ACM
14 years 5 months ago
2002
ACM
VL
1994
IEEE
13 years 9 months ago
1994
IEEE
The notion of icons in visual environments is limited by perceiving icons as tacit entities that have meaning only to human beings and not to the machines that display them. This ...
POPL
1995
ACM
13 years 8 months ago
1995
ACM
We show how a set of building blocks can be used to construct programming language interpreters, and present implementations of such building blocks capable of supporting many com...