10870 search results - page 100 / 2174 » Model Checking Programs |
HASE
2008
IEEE
14 years 4 months ago
2008
IEEE
Model-based program debugging exploits discrepancies between the program behavior anticipated by a programmer and the program’s actual behavior when executed on a set of inputs....
OOPSLA
2009
Springer
14 years 4 months ago
2009
Springer
Today’s shared-memory parallel programming models are complex and error-prone. While many parallel programs are intended to be deterministic, unanticipated thread interleavings ...
HASKELL
2006
ACM
14 years 4 months ago
2006
ACM
ERLANG
2009
ACM
14 years 2 months ago
2009
ACM
FLOPS
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. We present a lightweight, automated tool for specificationbased testing of declarative programs written in the functional logic programming language Curry and emphasize t...