1760 search results - page 9 / 352 » Program Analysis Using Weighted Pushdown Systems |
CORR
2010
Springer
13 years 8 months ago
2010
Springer
We initiate the study of probabilistic parallel programs with dynamic process creation and synchronisation. To this end, we introduce probabilistic split-join systems (pSJSs), a mo...
TACAS
2005
Springer
14 years 4 months ago
2005
Springer
Searching the state space of a system using enumerative and on-the-fly depth-first traversal is an established technique for model checking finite-state systems. In this paper, ...
LPAR
2004
Springer
14 years 4 months ago
2004
Springer
The extended answer set semantics for simple logic programs, i.e. programs with only classical negation, allows for the defeat of rules to resolve contradictions. In addition, a pa...
LCPC
1997
Springer
14 years 3 months ago
1997
Springer
AMAST
2006
Springer
14 years 2 months ago
2006
Springer
We propose two characterizations of complexity classes by means of programming languages. The first concerns Logspace while the second leads to Ptime. This latter characterization ...