Mitchell Wand Dale Vaillancourt College of ...  Home/Search
Context
Related
| neu.edu/pub/people...vaillancourt04.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: neu.edu/home/wand/pubs (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Past attempts to relate two well-known models of backtracking computataion have met with only limited success. We relate these two models using logical relations. We accommodate higher-order values and in nite computations. We also provide an operational semantics, and we prove it adequate for both models. (Update)
Active bibliography (related documents): More All
0.3: Model Transformations in Converge - Tratt, Clark (2003) (Correct)
0.3: From Interpreter to Logic Engine by Defunctionalization - Danvy, Danvy (2004) (Correct)
0.1: LPS: A Language Prototyping System Using Modular.. - Gayo, Díez.. (2001) (Correct)
Similar documents based on text: More All
0.3: Modeling Subobject-based Inheritance - Rossie, Jr., al. (1996) (Correct)
0.2: Navigating through Object Graphs Using Local Meta-Information - Lieberherr, Wand (2002) (Correct)
0.2: CPS Transformation of Flow Information - Palsberg, Wand (2001) (Correct)
BibTeX entry: (Update)
@misc{ dale-relating,
author = "Mitchell Wand Dale",
title = "Relating Models of Backtracking",
url = "citeseer.ist.psu.edu/687769.html" }
Citations (may not include all citations):430 The Structure and Interpretation of Computer Programs (context) - Abelson, Sussman - 1985
385 A transformation system for developing recursive programs - Burstall, Darlington - 1977
41 The design of a pretty-printing library - Hughes - 1995
35 Abstract continuations: A mathematical semantics for handlin.. (context) - Felleisen, Wand et al. - 1988
11 How to implement prolog on a LISP machine (context) - Kahn, Carlsson
9 Deriving backtracking monad transformers - Hinze - 2000
3 A unifying approach to goal-directed evaluation - Danvy, Grobauer et al. - 2002
1 A mathematical semantics for planner (context) - Federhen - 1980
Documents on the same site (http://www.ccs.neu.edu/home/wand/pubs.html): More
Analyses that Distinguish Different Evaluation Orders or.. - Wand (2002) (Correct)
Selectors Make Analyzing case-lambda Too Hard - Meunier, Findler, Steckler, Wand (2001) (Correct)
On the Correctness and Efficiency of the Krivine Machine - Wand, Friedman (2003) (Correct)
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