6 citations · 11 across the 3 of their papers we have counts for
3 papers
cs.LO2017★ 2 cited
Distributive Laws for Monotone Specifications
Jurriaan Rot
Turi and Plotkin introduced an elegant approach to structural operational semantics based on universal coalgebra, parametric in the type of syntax and the type of behaviour. Their…
cs.PL2012★ 6 cited
Interacting via the Heap in the Presence of Recursion
Jurriaan Rot, Irina Măriuca Asăvoae, Frank de Boer +2
Almost all modern imperative programming languages include operations for dynamically manipulating the heap, for example by allocating and deallocating objects, and by updating ref…
cs.LO2012★ 3 cited
On the specification of operations on the rational behaviour of systems
Marcello M. Bonsangue, Stefan Milius, Jurriaan Rot
Structural operational semantics can be studied at the general level of distributive laws of syntax over behaviour. This yields specification formats for well-behaved algebraic ope…