in an Ordered Logical Framework Jeff Polakow and Frank Pfenning Department of ...  Home/Search
Context
Related
| cmu.edu/afs/cs/user/fp/www/p...lfm00.ps cmu.edu/~jpolakow/lfm00.ps.gz 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: cmu.edu/afs/cs/user/fp/www/pap... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Machine We now begin extending our representation to include evaluation of CPS terms. We will begin by showing a representation of a naive evaluator which makes no use of the ordering invariants. The following is a bare abstract machine for CPS evaluation. (Update)
Similar documents (at the sentence level):
77.4%: Properties of Terms in Continuation-Passing Style in an.. - Polakow, Pfenning (2000) (Correct)
18.9%: Proving Syntactic Properties of Exceptions in an Ordered.. - Polakow, Yi (Correct)
Active bibliography (related documents): More All
0.2: Natural Deduction for Intuitionistic Non-Commutative Linear.. - Polakow, Pfenning (1999) (Correct)
0.1: Formalizing Implementation Strategies for First-Class Continuations - Danvy (2000) (Correct)
0.1: A Formalization of an Ordered Logical Framework in Hybrid.. - Momigliano, Polakow (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ ordered-properties,
author = "In An Ordered",
title = "Properties of Terms in Continuation-Passing Style",
url = "citeseer.ist.psu.edu/765998.html" }
Citations (may not include all citations):434 A framework for defining logics - Harper, Honsell et al. - 1993 ACM DBLP
248 The mathematics of sentence structure (context) - Lambek - 1958
43 Natural deduction for intuitionistic non-commutative linear .. - Polakow, Pfenning - 1999
36 Dipartimento di Informatica (context) - Cervesato, Logical et al. - 1996
33 Relating natural deduction and sequent calculus for intuitio.. - Polakow, Pfenning - 1999 DBLP
32 The practice of logical frameworks - Pfenning - 1996 ACM DBLP
30 ato and Frank Pfenning. A linear logical framework. Informat.. (context) - Cerves - 1998
27 The occurrence of continuation parameters in CPS terms - Danvy, Pfenning - 1995 ACM
17 On proving syntactic properties of CPS programs - Danvy, Dzafic et al. - 1999 DBLP
12 Formalizing program transformations (context) - Dzafic - 1998
Documents on the same site (http://www.cs.cmu.edu/afs/cs/user/fp/www/papers/): More
Linear Higher-Order Pre-Unification - Cervesato, Pfenning (1997) (Correct)
System Description: Twelf - A Meta-Logical Framework for.. - Pfenning, Schürmann (1999) (Correct)
On Equivalence and Canonical Forms in the LF Type Theory.. - Harper, Pfenning (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