Author:
Bischof Simon,Breitner Joachim,Lohner Denis,Snelting Gregor
Publisher
Springer International Publishing
Reference37 articles.
1. Simon Bischof et al. “Low-Deterministic Security For Low-Deterministic Programs”. In: Journal of Computer Security 26 (2018), pp. 335–336. https://doi.org/10.3233/JCS17984
2. Joachim Breitner. “Formally proving a compiler transformation safe”. In: Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, Haskell 2015, Vancouver BC, Canada, September 3–4, 2015. 2015, pp. 35–46.
3. Joachim Breitner. “Lazy Evaluation: From natural semantics to a machine-checked compiler transformation”. PhD thesis. Karlsruher Institut für Technologie, Fakultät für Informatik, Apr. 2016.
4. Joachim Breitner. “The adequacy of Launchbury’s natural semantics for lazy evaluation”. In: J. Funct. Program. 28 (2018), e1. https://doi.org/10.1017/S0956796817000144 .
5. Joachim Breitner. “The Correctness of Launchbury’s Natural Semantics for Lazy Evaluation”. In: Archive of Formal Proofs (Jan. 2013). ISSN: 2150-914x. http://afp.sf.net/entries/Launchbury.shtml .