Can I read Failure, Input-Output, and Continuations on EtoBox?

Failure, Input-Output, and Continuations is a book available to read on EtoBox.

What is Failure, Input-Output, and Continuations about?

In this chapter, we will go beyond the simple imperative language to consider a fail command and operations for output and input. These extensions will require significant changes to the semantic framework developed in previous chapters. First we will develop a generalization of the "direct" denotational semantics used in Chapter 2; then we will introduce an alternative approach called continuation semantics. In investigating these topics, we will encounter a richer variety of domains than in previous chapters. In particular, to describe computations whose input and output can go on forever, we will use recursively defined domains. ## The fail C o m m a n d Suppose we wish to augment the simple imperative language with a command fail that causes a program to cease execution. The abstract syntax is obvious: (comm) ::= fail but the semantics raises a serious problem: How do we insure that, regardless of the context in which it is embedded, if the fail command is executed, it determines the final result of the program? Consider, for example, the composition co ; ci, and ignore for the moment the possibility of nontermination, so that the semantic equation is simply If the command CQ f

Publisher

Cambridge University Press

Published

1998

Language

EN