3342 search results - page 149 / 669 » Automating Abstract Interpretation |
106
Voted
LICS
2010
IEEE
15 years 1 months ago
2010
IEEE
We consider formulas which, in addition to the symbols in the vocabulary, may use two designated symbols ≺ and + that must be interpreted as a linear order and its associated ad...
107
Voted
ACMSE
2010
ACM
15 years 23 days ago
2010
ACM
Developing software from models is a growing practice and there exist many model-based tools (e.g., model editors, model interpreters) for supporting model-driven engineering. Eve...
129
Voted
FLOPS
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. We present a lightweight, automated tool for specificationbased testing of declarative programs written in the functional logic programming language Curry and emphasize t...
141
Voted
PUC
2010
15 years 1 months ago
2010
Abstract Location awareness can help facilitate a rendezvous of two or more persons. To further enhance the rendezvous experience, we conducted two complementary field studies to ...
120
Voted
FROCOS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Nowadays, formal methods rely on tools of different kinds: proof assistants with which the user interacts to discover a proof step by step; and fully automated tools whic...