Computer Science – Logic in Computer Science
Scientific paper
2005-01-18
Domain theory, logic and computation, Kluwer Academic Publishers (Ed.) (2003) 1-24
Computer Science
Logic in Computer Science
Scientific paper
We offer a short tour into the interactive interpretation of sequential programs. We emphasize streamlike computation -- that is, computation of successive bits of information upon request. The core of the approach surveyed here dates back to the work of Berry and the author on sequential algorithms on concrete data structures in the late seventies, culminating in the design of the programming language CDS, in which the semantics of programs of any type can be explored interactively. Around one decade later, two major insights of Cartwright and Felleisen on one hand, and of Lamarche on the other hand gave new, decisive impulses to the study of sequentiality. Cartwright and Felleisen observed that sequential algorithms give a direct semantics to control operators like \"call-cc\" and proposed to include explicit errors both in the syntax and in the semantics of the language PCF. Lamarche (unpublished) connected sequential algorithms to linear logic and games. The successful program of games semantics has spanned over the nineties until now, starting with syntax-independent characterizations of the term model of PCF by Abramsky, Jagadeesan, and Malacaria on one hand, and by Hyland and Ong on the other hand.
No associations
LandOfFree
Playful, streamlike computation does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Playful, streamlike computation, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Playful, streamlike computation will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-705149