4192 search results - page 122 / 839 » Probabilistic Logic Programming |
117
click to vote
VMCAI
2004
Springer
15 years 7 months ago
2004
Springer
In this paper we deal with the problem of applying model checking to real programs. We verify a program without constructing the whole transition system using a technique based on...
118
click to vote
PADL
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. A lightweight approach to debugging functional logic programs by observations is presented, implemented for the language Curry. The Curry Object Observation System (COOSy...
117
Voted
SAS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We specify an information flow analysis for a simple imperative language, using a Hoare-like logic. The logic facilitates static checking of a larger class of programs t...
119
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
er presents an abstraction of Hoare logic to traced symmetric monoidal categories, a eral framework for the theory of systems. Our abstraction is based on a traced monoidal functor...
182
Voted
POPL
2008
ACM
16 years 2 months ago
2008
ACM