A Aralex Aachen research explorer

January 01, 2004 conference-paper

Simple relational correctness proofs for static analyses and program transformations

ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)

DOI: 10.1145/964001.964003 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 1 stored of 362

A pre-expectation calculus for probabilistic sensitivity
2021 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

24

citations

1 result

References 0