See this document in CiteSeerX!

Relating Models of Backtracking  (Make Corrections)  
Mitchell Wand Dale Vaillancourt College of ...



  Home/Search   Context   Related

 
View or download:
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  
(Enter summary)

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