S. L. Peyton Jones, A. Reid, F. Henderson, C. A. R. Hoare, and S. Marlow. A Semantics for Imprecise Exceptions. In SIGPLAN Conference on Programming Language Design and Implementation, pages 25--36, 1999.  Home/Search   Document Details and Download   Summary   Related Articles   Check

.... of this article, but it is important to explore how our approach can be scaled to more expressive languages, such as a simple functional or imperative language, to languages with more than one kind of exception and user defined exceptions, and to other notions of exception, such as imprecise [13] and asynchronous [5] exceptions. Compiler optimisations. The basic compilation method presented in this article can be optimised in a number of ways. For example, we might rearrange the compiled code to avoid the need to jump over handlers in the case of no exceptions being thrown, use a ....

S. Peyton Jones, A. Reid, T. Hoare, S. Marlow, and F. Henderson. A Semantics For Imprecise Exceptions. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, Atlanta, Georgia, May 1999.

....support for exceptions [24] Better control over the scope of the choice operator is desirable, i.e. more powerful exception handling primitives. One way to do this is to have several kinds of exceptions, but this destroys the confluence of the language unless the evaluation order is fixed [23]. This is because di#erent subexpressions may raise di#erent exceptions, and so the exception that is actually raised depends on which subexpression is evaluated first. There is a tension between rewriting and laziness. A term C fail . will always succeed and never go to the right hand side ....

S. Peyton Jones, A. Reid, T. Hoare, and S. Marlow. A semantics for imprecise exceptions. In ACM Conference on Programming Languages Design and Implementation, pages 25--36, 1999. 8 29

....for program transformation applications. Better control over the scope of the choice operator, i.e. more powerful exception handling primitives. One way to do this is to have several kinds of exceptions, but this destroys the confluence of the language unless the evaluation order is fixed [PRHM99] This is because di#erent subexpressions may raise di#erent exceptions, and so the exception that is actually raised depends on which subexpression is evaluated first. 59 . Non local variable bindings. In Stratego we can write things like: fetch( Foo(x) x That is, walk over a list until ....

Simon Peyton Jones, Alastair Reid, Tony Hoare, and Simon Marlow. A semantics for imprecise exceptions. In ACM Conference on Programming Languages Design and Implementation, pages 25--36, 1999.

....support for exceptions [24] Better control over the scope of the choice operator is desirable, i.e. more powerful exception handling primitives. One way to do this is to have several kinds of exceptions, but this destroys the con uence of the language unless the evaluation order is xed [23]. This is because di erent subexpressions may raise di erent exceptions, and so the exception that is actually raised depends on which subexpression is evaluated rst. There is a tension between rewriting and laziness. A term C fail . will always succeed and never go to the right hand side ....

S. Peyton Jones, A. Reid, T. Hoare, and S. Marlow. A semantics for imprecise exceptions. In ACM Conference on Programming Languages Design and Implementation, pages 25-36, 1999.

....than System.ExitSuccess, an exception is raised. For example, if this happens within the instructions of a build de nition, Take will catch the exception and regard the build routine as having failed. For exception handling, Take relies on GHC s extension of Haskell s standard exception facilities [17,13,18]. As cmd and run are frequently used together, there is a the convenience function exec : String Action String exec = run . cmd A variation on the theme of exec is compile : String Action ( It also enters stdout into the log stream. This is generally useful for invoking compilers or ....

Peyton Jones, S., A. Reid, T. Hoare, S. Marlow and F. Henderson, A semantics for imprecise exceptions, in: Proceedings of the ACM SIGPLAN Conference on Programming Languages Design and Implementation (PLDI'99), 1999.

....the pass, and carries on. This technique proved to be a good way to avoid getting disquali ed because of stupid bugs. The driver also checks for timeout and abandons later passes if it runs out of time. Using the experimental exception handling mechanism that the Glasgow Haskell Compiler provides (Peyton Jones et al. 1999), the driver also catches pattern match failures and suchlike, abandons the o ending pass, and carries on. On the basis of this entry, the Judges awarded Second Prize to Simon Peyton Jones, Simon Marlow, and Sigbjorn Finne. Their ne results and clear exposition leave no doubts that Haskell is ....

Peyton Jones, Simon, Alastair Reid, Tony Hoare, Simon Marlow, and Fergus Henderson. 1999 (May). A semantics for imprecise exceptions. Proceedings of the ACM SIGPLAN '99 Conference on Programming Language Design and Implementation, in SIGPLAN Notices, 34(5):25-36.

....e 1 and e 2 is not equivalent to e 2 and e 1 , because e 1 and e 2 might raise di erent exceptions, one of which might be caught. Such considerations could restrict language implementations, i.e. expressions could not be re arranged unless it can be proven that they raise no exceptions. In [17] a semantics dealing with imprecise exceptions based on the IO monad in Haskell is suggested. This approach is not directly applicable to Java because of the presence of the IO monad, but the issue it tackles is applicable to any language. The question of imprecise exceptions becomes even more ....

Simon Peyton Jones, Alastair Reid, Tony Hoare, Simon Marlow, and Fergus Henderson. A semantics for imprecise exceptions. In Proceedings of the SIGPLAN Symposium on Programming Language Design and Implementation, May 1999. 83

No context found.

S. Peyton Jones, A. Reid, C. Hoare, S. Marlow, and F. Henderson. A semantics for imprecise exceptions. In ACM Conference on Programming Languages Design and Implementation (PLDI'99), pages 25--36, Atlanta, May 1999. ACM.

....98, which comes with an I O library that uses the monadic approach. However, Haskell 98 is not rich enough to deal with the rest of the Awkward Squad (exceptions, concurrency, etc) so we have extended Haskell 98 in a number of experimental ways, adding support for concurrency [35] exceptions [37, 29], and a foreign language interface [36, 11] So far, these developments have mostly been documented in scattered research papers; my purpose in these lectures is to gather some of it together into a coherent account. In what follows, when I refer to Haskell , I will always mean Haskell 98, rather ....

....great semantic bene ts. In particular, by con ning the non deterministic choice to the IO monad we have prevented non determinism from infecting the entire language. 5.2. 3 Semantics of imprecise exceptions This approach to synchronous exceptions in Haskell is described in much more detail in [37]. In particular, the paper describes how to extend a standard denotational semantics to include exceptional values, something we have not treated formally here. We will not discuss that here, for lack of space, but will content ourselves with saying that the meaning function E [ M ] returns ....

[Article contains additional citation context not shown here]

Peyton Jones, S., Reid, A., Hoare, C., Marlow, S., and Henderson, F. A semantics for imprecise exceptions. In ACM Conference on Programming Languages Design and Implementation (PLDI'99) (Atlanta, May 1999), ACM, pp. 25-36.

....98, which comes with an I O library that uses the monadic approach. However, Haskell 98 is not rich enough to deal with the rest of the Awkward Squad (exceptions, concurrency, etc) so we have extended Haskell 98 in a number of experimental ways, adding support for concurrency [35] exceptions [37, 29], and a foreign language interface [36, 11] So far, these developments have mostly been documented in scattered research papers; my purpose in these lectures is to gather some of it together into a coherent account. In what follows, when I refer to Haskell , I will always mean Haskell 98, rather ....

.... . throwTo . return ( H Figure 10: Further extensions for exceptions 5.2. 3 Semantics of imprecise exceptions This approach to synchronous exceptions in Haskell is described in much more detail in [37]. In particular, the paper describes how to extend a standard denotational semantics to include exceptional values, something we have not treated formally here. We will not discuss that here, for lack of space, but will content ourselves with saying that the meaning function . returns either ....

[Article contains additional citation context not shown here]

PEYTON JONES, S., REID, A., HOARE, C., MARLOW, S., AND HENDERSON, F. A semantics for imprecise exceptions. In ACM Conference on Programming Languages Design and Implementation (PLDI'99) (Atlanta, May 1999), ACM, pp. 25--36.

....MVar is always empty. 5 Operational Semantics In this section we give an operational semantics for Concurrent Haskell with exceptions, 2 and then proceed to add in 2 There exists a published operational semantics for Concurrent Haskell [12] a denotational semantics for exceptions in Haskell [13], and an operational semantics for exceptions in Haskell [10] but so far no published semantics links these concepts or describes exceptions in the IO monad. x; y 2 Variable k 2 Constant c 2 Constructor ch 2 Char d 2 Integer e 2 Exception m 2 MVar t; u 2 ThreadId Values V : x j x M ....

....evaluates to some value and raises an exception. Moreover, while convergence is deterministic, the exceptional convergence is not. In other words, a term may raise many different exceptions; which it does raise when evaluated is decided upon at run time. This is the essence of imprecise exceptions [13]. Given this inner semantics, rule (Eval) lifts evaluation in the inner semantics to a transition in the outer system. We stipulate that M 6j V to prevent infinite sequences of the form V Gamma V Gamma V Gamma Delta Delta Delta . Similarly, if the evaluation yields an exception, rule ....

S. L. Peyton Jones, A. Reid, T. Hoare, S. Marlow, and F. Henderson. A semantics for imprecise exceptions. In Proc. PLDI'99, volume 34(5) of ACM SIGPLAN Notices, pages 25--36. ACM Press, May 1999.

....of the above motivations concern the premature abortion of a computation. We do not deal with resumption, in which the interrupted computation can be resumed. 3 Catching and throwing exceptions First, we brie y review our existing extension to support synchronous exception facilities in Haskell [13] 1 : catch : IO a (Exception IO a) IO a raise : Exception a throw : Exception IO a Exceptions can be caught with catch, where the rst argument is the computation to run (i.e. the scope of the catch) and the second argument is the exception handler. In non IO code, ....

S. L. Peyton Jones, A. Reid, T. Hoare, S. Marlow, and F. Henderson. A semantics for imprecise exceptions. In Proc. PLDI'99, volume 34(5) of ACM SIGPLAN Notices, pages 25-36. ACM Press, May 1999.

No context found.

S. L. Peyton Jones, A. Reid, F. Henderson, C. A. R. Hoare, and S. Marlow. A Semantics for Imprecise Exceptions. In SIGPLAN Conference on Programming Language Design and Implementation, pages 25--36, 1999.

No context found.

S. Peyton Jones, A. Reid, F. Henderson, T. Hoare, and S. Marlow. A semantics for imprecise exceptions. In Proceedings of the ACM SIGPLAN 1999.

No context found.

Simon L. Peyton Jones, Alastair Reid, Fergus Henderson, C. A. R. Hoare, and Simon Marlow. A Semantics for Imprecise Exceptions. In SIGPLAN Conference on Programming Language Design and Implementation, pages 25--36, 1999.

No context found.

Simon Peyton Jones, Alastair Reid, Tony Hoare, Simon Marlow, and Fergus Henderson. A semantics for imprecise exceptions. In Proceedings of the SIGPLAN Symposium on Programming Language Design and Implementation, May 1999. 83

No context found.

Simon Peyton Jones, Alastair Reid, Tony Hoare, Simon Marlow, and Fergus Henderson. A semantics for imprecise exceptions. In Proceedings of the SIGPLAN Symposium on Programming Language Design and Implementation, May 1999.

No context found.

Simon L. Peyton Jones, Alastair Reid, Fergus Henderson, C. A. R. Hoare, and Simon Marlow. A Semantics for Imprecise Exceptions. In SIGPLAN Conference on Programming Language Design and Implementation, pages 25--36, 1999.

No context found.

Simon L. Peyton Jones, Alastair Reid, Fergus Henderson, C. A. R. Hoare, and Simon Marlow. A semantics for imprecise exceptions. In SIGPLAN Conference on Programming Language Design and Implementation, pages 25--36, 1999.

No context found.

Simon L. Peyton Jones, Alastair Reid, Fergus Henderson, C. A. R. Hoare, and Simon Marlow. A semantics for imprecise exceptions. In SIGPLAN Conference on Programming Language Design and Implementation, pages 25--36, 1999.

No context found.

S. P. Jones, A. Reid, C. A. R. Hoare, S. Marlow, and F. Henderson. A semantics for imprecise exceptions. In Proceedings of the SIGPLAN Symposium on Programming Language Design and Implementation (PLDI'99), Atlanta, 1999. 13

No context found.

S. Peyton Jones, A. Reid, T. Hoare, S. Marlow, and F. Henderson. A semantics for imprecise exceptions. In Conference on Programming Language Design and Implementation, PLDI'99, pages 25--36, Atlanta, Georgia, 1999.

No context found.

S. Peyton Jones, A. Reid, F. Henderson, T. Hoare, and S. Marlow. A semantics for imprecise exceptions. In Proceedings of the ACM SIGPLAN 1999.

No context found.

S. Peyton Jones, A. Reid, T. Hoare, S. Marlow, and F. Henderson. A Semantics For Imprecise Exceptions. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, Atlanta, Georgia, May 1999.

No context found.

S.L. Peyton Jones, A. Reid, T. Hoare, S. Marlow, and F. Henderson. A semantics for imprecise exceptions. In Proc Programming Languages Design and Implementation (PLDI'99), Atlanta, 1999.

First 50 documents

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC