1689 search results - page 180 / 338 » Refining abstract interpretations |
138
click to vote
IWPC
2003
IEEE
15 years 10 months ago
2003
IEEE
In the last decades several tools and environments defined and introduced languages for querying, navigating sforming abstract syntax trees. These environments were meant to supp...
145
click to vote
EUROCAST
2001
Springer
15 years 9 months ago
2001
Springer
We present a Language Prototyping System that facilitates the modular development of interpreters from semantic specifications. The theoretical basis of our system is the integrat...
133
click to vote
CAV
2010
Springer
15 years 8 months ago
2010
Springer
We address the issue of automatic invariant synthesis for sequential programs manipulating singly-linked lists carrying data over infinite data doe define for that a framework ba...
129
click to vote
IMECS
2007
15 years 6 months ago
2007
Abstract—Adaptive middleware and wireless networks are hot topics in many discussions today. Literature describes a lot of approaches which are based upon existing middleware tec...
151
click to vote
CORR
2002
Springer
15 years 4 months ago
2002
Springer
for data abstraction and justifies reasoning by simulation. Representation independence has been shown for a variety of languages and constructs but not for shared references to mu...