1689 search results - page 91 / 338 » Refining abstract interpretations |
145
click to vote
ITSSA
2006
15 years 4 months ago
2006
: This paper proposes a formal methodology for designing multi-agent systems based on stepwise refinements. The main contribution consists in providing a set of methodological prin...
143
click to vote
VMV
2001
15 years 5 months ago
2001
A new approach to subdivision based on the evolution of surfaces under curvature motion is presented. Such an evolution can be understood as a natural geometric filter process whe...
130
click to vote
LICS
2000
IEEE
15 years 8 months ago
2000
IEEE
While Game Semantics has been remarkably successful at g, often in a fully abstract manner, a wide range of features of programming languages, there has to date been no attempt at...
135
click to vote
FOSSACS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Separation logic is a recent extension of Hoare logic for reasoning about programs with references to shared mutable data structures. In this paper, we provide a new inte...
126
click to vote
CAV
2004
Springer
15 years 9 months ago
2004
Springer
This paper reviews the principles behind the paradigm of “abstract interpretation via § -valued logic,” discusses recent work to extend the approach, and summarizes ongoing re...