Search

• < Previous
• 1
• Next >

---

Generic Trace Semantics via Coinduction

Ichiro Hasuo ; Bart Jacobs ; Ana Sokolova.

Trace semantics has been defined for various kinds of state-based systems, notably with different forms of branching such as non-determinism vs. probability. In this paper we claim to identify one underlying mathematical structure behind these "trace semantics," namely coinduction in a Kleisli&nbsp;[&hellip;]

---

New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic

Bart Jacobs.

Intuitionistic logic, in which the double negation law not-not-P = P fails, is dominant in categorical logic, notably in topos theory. This paper follows a different direction in which double negation does hold. The algebraic notions of effect algebra/module that emerged in theoretical physics form&nbsp;[&hellip;]

---

Featherweight VeriFast

Bart Jacobs ; Frédéric Vogels ; Frank Piessens.

VeriFast is a leading research prototype tool for the sound modular verification of safety and correctness properties of single-threaded and multithreaded C and Java programs. It has been used as a vehicle for exploration and validation of novel program verification techniques and for industrial&nbsp;[&hellip;]

---

From Kleisli Categories to Commutative C*-algebras: Probabilistic Gelfand Duality

Robert W. J. Furber ; Bart P. F. Jacobs.

C*-algebras form rather general and rich mathematical structures that can be studied with different morphisms (preserving multiplication, or not), and with different properties (commutative, or not). These various options can be used to incorporate various styles of computation (set-theoretic,&nbsp;[&hellip;]

---