| 
|
QuoteRef: marlS6_2001
topics >
all references >
ThesaHelp:
ACM references m-z
ThesaHelp:
references m-o
Topic:
interrupts
Topic:
formal methods and languages
Topic:
asynchronous processing
Reference
Marlow, S., Peyton Jones, S., Moran, A., Reppy, J., "Asynchronous exceptions in Haskell", Proceedings of the ACM SIGPLAN '01 Conference on Programming Language Design and Implementation (PLDI), Snowbird Utah, ACM SIGPLAN, June 2001, pp. 274-285. Google
abstract ;;Quote: asynchronous exceptions, interrupts, and timeouts are important for robust, modular programs but are difficult to represent in a programming language
abstract+;;Quote: use scoped combinators in Haskell for block and unblocking asynchronous interrupts; formal semantics
275 ;;Quote: can interrupt a purely-functional computation at any point; allows asynchronous exceptions
275+;;Quote: most concurrent languages disallow asynchronous signaling; provide polling or safe points for receiving signals
ThesaHelp: ACM references m-z (280 items)
ThesaHelp: references m-o (268 items)
Topic: interrupts (25 items)
Topic: formal methods and languages (53 items)
Topic: asynchronous processing (30 items)