Can I read Semantics of an Effect Analysis for Exceptions on EtoBox?

Semantics of an Effect Analysis for Exceptions by Nick Benton; Peter Buchlovsky is a scholarly article available to read on EtoBox.

What is Semantics of an Effect Analysis for Exceptions about?

We give a semantics to a polymorphic effect analysis that tracks possibly-thrown exceptions and possible non-termination for a higher-order language. The semantics is defined using partial equivalence relations over a standard monadic, domain-theoretic model of the original language and establishes the correctness of both the analysis itself and of the contextual program transformations that it enables.

Author

Nick Benton; Peter Buchlovsky

Publisher

ACM

Published

2007

Language

EN