3481 search results - page 129 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
CORR
2008
Springer
14 years 10 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...
ESOP
2010
Springer
15 years 7 months ago
2010
Springer
ICCL
1998
IEEE
15 years 2 months ago
1998
IEEE
IFIP
1994
Springer
15 years 2 months ago
1994
Springer