2722 search results - page 427 / 545 » Automating Language Evolution |
177
click to vote
TPHOL
2009
IEEE
16 years 29 days ago
2009
IEEE
Abstract. We present a comprehensive set of tactics that make it practical to use separation logic in a proof assistant. These tactics enable the verification of partial correctne...
227
click to vote
WFLP
2009
Springer
16 years 28 days ago
2009
Springer
Context-sensitive rewriting is a restriction of rewriting that can be used to elegantly model declarative specification and programming languages such as Maude. Furthermore, it ca...
140
click to vote
WINE
2009
Springer
16 years 28 days ago
2009
Springer
We study the problem of designing prediction markets for random variables with continuous or countably infinite outcomes on the real line. Our interval betting languages allow tra...
146
click to vote
CSL
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. We define an abstract pebble game that provides game interpretations for essentially all known consistency algorithms for constraint satisfaction problems including arc-...
164
click to vote
IFM
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. Service-oriented computing has emerged as a new programming paradigm that aims at implementing software applications which can be used through a network via the exchange ...