249 search results - page 42 / 50 » Principals in Programming Languages: A Syntactic Proof Techn... |
AIIDE
2008
15 years 2 months ago
2008
Behavior authoring for computer games involves writing behaviors in a programming language and then iteratively refining them by detecting issues with them. The main bottlenecks a...
197
click to vote
PADL
2009
Springer
16 years 10 days ago
2009
Springer
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification tec...
180
click to vote
POPL
2005
ACM
16 years 4 hour ago
2005
ACM
A lightweight logical approach to race-free sharing of heap storage between concurrent threads is described, based on the notion of permission to access. Transfer of permission be...
COMPUTER
1999
14 years 11 months ago
1999
abstract mathematical or physical statement, not something specific. The way scientific programmers most frequently verify that their programs are correct is to examine their resul...
106
click to vote
ICALP
1995
Springer
15 years 3 months ago
1995
Springer
An infinite binary sequence x is defined to be (i) strongly useful if there is a computable time bound within which every decidable sequence is Turing reducible to x; and (ii) w...