2881 search results - page 496 / 577 » Model Checking for Programming Languages using Verisoft |
173
click to vote
FIDJI
2003
Springer
15 years 10 months ago
2003
Springer
The popular slogan ”write once, run anywhere” effectively renders the expressive capabilities of the Java programming framework for developing, deploying, and reusing target-i...
162
click to vote
ICALP
2009
Springer
16 years 5 months ago
2009
Springer
We consider graphical games in which edges are zero-sum games between the endpoints/players; the payoff of a player is the sum of the payoffs from each incident edge. We give a si...
134
click to vote
CONTEXT
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Delimited continuations are the meanings of delimited evaluation contexts in programming languages. We show they offer a uniform view of many scenarios that arise in sys...
112
click to vote
GPCE
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We define a basic calculus for name management, which is obtained by an appropriate combination of three ingredients: extensible records (in a simplified form), names (...
124
click to vote
CP
2003
Springer
15 years 10 months ago
2003
Springer
In this paper, we present an algorithm to propagate an n-ary constraint (with n greater than 2) specifying the relative positions of points in a three-dimensional rigid group. The ...