4370 search results - page 153 / 874 » Algebra of Logic Programming |
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...
117
click to vote
SC
2009
ACM
15 years 9 months ago
2009
ACM
This paper presents a dynamic task scheduling approach to executing dense linear algebra algorithms on multicore systems (either shared-memory or distributed-memory). We use a tas...
121
Voted
ICALP
2005
Springer
15 years 8 months ago
2005
Springer
The firing rule of Petri nets relies on a residuation operation for the commutative monoid of natural numbers. We identify a class of residuated commutative monoids, called Petri ...
182
Voted
POPL
2008
ACM
16 years 2 months ago
2008
ACM