3691 search results - page 78 / 739 » Bayesian Logic Programs |
101
Voted
SAS
2004
Springer
15 years 6 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...
93
Voted
CORR
2008
Springer
15 years 21 days 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...
158
Voted
POPL
2008
ACM
16 years 28 days ago
2008
ACM
101
Voted
ESOP
2010
Springer
15 years 10 months ago
2010
Springer
126
click to vote
LOPSTR
2005
Springer
15 years 6 months ago
2005
Springer
We propose an extension of functional logic languages that allows the definition of operations with patterns containing other defined operation symbols. Such “function patterns...