40 citations · 156 across the 43 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
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…