A Aralex Aachen research explorer

August 26, 2015 conference-paper

Pilsner: a compositionally verified compiler for a higher-order imperative language

ACM SIGPLAN International Conference on Functional Programming (ICFP)

DOI: 10.1145/2784731.2784764 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 1 stored of 94

CF-GKAT: Efficient Validation of Control-Flow Transformations
2025 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

3

citations

1 result

References 0