Showing cs.LOShow all
2 papers · 1 filter
cs.LO2019
Compositional Non-Interference for Fine-Grained Concurrent Programs
Dan Frumin, Robbert Krebbers, Lars Birkedal
Non-interference is a program property that ensures the absence of information leaks. In the context of programming languages, there exist two common approaches for establishing no…
cs.LO2012
A call-by-value lambda-calculus with lists and control
Robbert Krebbers
Calculi with control operators have been studied to reason about control in programming languages and to interpret the computational content of classical proofs. To make these calc…