1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.PL2014
The Correctness of Launchbury's Natural Semantics for Lazy Evaluation
Joachim Breitner
In his seminal paper "A Natural Semantics for Lazy Evaluation", John Launchbury proves his semantics correct with respect to a denotational semantics. We machine-checked the proof…
cs.SE2012★ 1 cited
Tackling the testing migration problem with SAT-Solvers
Joachim Breitner
We show that it is feasible to formulate the testing migration problem as a practically solvable PMAX-SAT instance, when package dependencies and conflicts are pre-processed sensib…