5 citations · 8 across the 3 of their papers we have counts for
3 papers
cs.LO2013★ 2 cited
Abstract machines for game semantics, revisited
Olle Fredriksson, Dan R. Ghica
We define new abstract machines for game semantics which correspond to networks of conventional computers, and can be used as an intermediate representation for compilation targeti…
cs.PL2012★ 1 cited
Coherent Minimisation: Towards efficient tamper-proof compilation
Dan R. Ghica, Zaid Al-Zobaidi
Automata representing game-semantic models of programs are meant to operate in environments whose input-output behaviour is constrained by the rules of a game. This can lead to a n…
cs.PL2009★ 5 cited
Function Interface Models for Hardware Compilation: Types, Signatures, Protocols
Dan R. Ghica
The problem of synthesis of gate-level descriptions of digital circuits from behavioural specifications written in higher-level programming languages (hardware compilation) has bee…