Mitchell Wand Dale Vaillancourt College of ...  @ NUS Home/Search
Context
Related
| neu.edu/pub/people...vaillancourt04.ps Cached: PS.gz PS PDF Image Update Help 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.comp.nus.edu.sg/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 at NUS Add search form to your site Submit documents Feedback
CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.