5 citations · 8 across the 3 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
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…