2231 search results - page 188 / 447 » Alternation as a programming paradigm |
152
click to vote
ESOP
2005
Springer
15 years 10 months ago
2005
Springer
We present a statically typed, class-based object oriented language where classes are first class polymorphic values. A main contribution of this work is the design of a type syst...
130
click to vote
ECOOP
2004
Springer
15 years 10 months ago
2004
Springer
It is becoming increasingly clear that we are entering a new era in systems software. As the age-old tension between structure and performance acquiesces, we can finally venture b...
132
click to vote
PADL
2004
Springer
15 years 10 months ago
2004
Springer
In this paper we show how CR-Prolog, a recent extension of A-Prolog, was used in the successor of USA-Advisor (USA-Smart) in order to improve the quality of the plans returned. The...
127
click to vote
ICALP
2009
Springer
15 years 9 months ago
2009
Springer
We study the impact on observational semantics for SOC of priority mechanisms which combine dynamic priority with local pre-emption. We define manageable notions of strong and wea...
140
click to vote
ICALP
1997
Springer
15 years 8 months ago
1997
Springer
In this paper we develop a new elementary algorithm for model-checking infinite sequential processes, including context-free processes, pushdown processes, and regular graphs, tha...