27 citations · 47 across the 17 of their papers we have counts for
Showing 2012Show all
3 papers · 1 filter
cs.FL2012
Runtime Verification Based on Register Automata
Radu Grigore, Dino Distefano, Rasmus Lerchedahl Petersen +1
We propose TOPL automata as a new method for runtime verification of systems with unbounded resource generation. Paradigmatic such systems are object-oriented programs which can dy…
cs.PL2012★ 7 cited
History-Register Automata
Radu Grigore, Nikos Tzevelekos
Programs with dynamic allocation are able to create and use an unbounded number of fresh resources, such as references, objects, files, etc. We propose History-Register Automata (H…
cs.LO2012★ 1 cited
A System-Level Semantics
Dan R. Ghica, Nikos Tzevelekos
Game semantics is a trace-like denotational semantics for programming languages where the notion of legal observable behaviour of a term is defined combinatorially, by means of rul…