1 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.PL2016★ 1 cited
An Inductive Proof Method for Simulation-based Compiler Correctness
Sigurd Schneider, Gert Smolka, Sebastian Hack
We study induction on the program structure as a proof method for bisimulation-based compiler correctness. We consider a first-order language with mutually recursive function defin…
cs.LO2010★ 1 cited
A Minimal Propositional Type Theory
Mark Kaminski, Gert Smolka
Propositional type theory, first studied by Henkin, is the restriction of simple type theory to a single base type that is interpreted as the set of the two truth values. We show t…