Loading...
Please wait, while we are loading the content...
Similar Documents
Semantics of an effect analysis for exceptions
| Content Provider | ACM Digital Library |
|---|---|
| Author | Buchlovsky, Peter Benton, Nick |
| Abstract | 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. |
| Starting Page | 15 |
| Ending Page | 26 |
| Page Count | 12 |
| File Format | |
| ISBN | 159593393X |
| DOI | 10.1145/1190315.1190320 |
| Language | English |
| Publisher | Association for Computing Machinery (ACM) |
| Publisher Date | 2007-01-16 |
| Publisher Place | New York |
| Access Restriction | Subscribed |
| Subject Keyword | Types Denotational semantics Exceptions Partial equivalence relations Effect systems Program analysis Optimizing compilation |
| Content Type | Text |
| Resource Type | Article |
