From Natural Semantics to  Home/Search
Context
Related
| brics.dk/RS/04/Ref...ICSRS0420.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: brics.dk/RS/04/...BRICSRS04Ref (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Machines Mads Sig Ager BRICS Report Series RS-04-20 ISSN 0909-0878 October 2004Copyright c 2004, Mads Sig Ager. (Update)
Active bibliography (related documents): More All
1.0: From Reduction-Based to Reduction-Free Normalization - Danvy (2004) (Correct)
1.0: An Operational Foundation for Delimited Continuations.. - Biernacka, Biernacki.. (2004) (Correct)
0.9: On Evaluation Contexts, Continuations, and the Rest of Computation - Danvy (Correct)
Similar documents based on text: More All
0.7: Fast Partial Evaluation of Pattern Matching in Strings - Ager, Danvy, Rohde (2003) (Correct)
0.7: On Obtaining Knuth, Morris, and Pratt's String Matcher by.. - Ager, Danvy, Rohde (2002) (Correct)
0.3: A Functional Correspondence between Monadic Evaluators and.. - Ager (2004) (Correct)
BibTeX entry: (Update)
@misc{ semantics-basic,
author = "From Natural Semantics",
title = "Basic Research in Computer Science",
url = "citeseer.ist.psu.edu/731609.html" }
Citations (may not include all citations):384 The Definition of Standard ML (context) - Milner, Tofte et al. - 1997
233 Natural semantics (context) - Kahn - 1987
194 The Formal Semantics of Programming Languages (context) - Winskel - 1993
114 A natural semantics for lazy evaluation - Launchbury - 1993
51 Deriving a lazy abstract machine - Sestoft - 1997
48 From operational semantics to abstract machines (context) - Hannan, Miller - 1992
46 CS Conversion: A Syntactic Theory of Control and State in Im.. (context) - Felleisen, of - 1987
33 Semantics with Applications (context) - Nielson, Nielson - 1992
13 Functional runtime systems within the lambda-sigma calculus (context) - Hardin, Maranget et al. - 1993
9 A functional correspondence between evaluators and abstract .. (context) - Ager, Biernacki et al. - 2003
7 A rational deconstruction of Landin's SECD machine (context) - Danvy - 2003
6 From interpreter to logic engine by defunctionalization (context) - Biernacki, Danvy - 2004
6 Abstract machines for programming language implementation - Diehl, Hartel et al. - 2000
6 Unpublished lecture notes (context) - Felleisen, Flatt et al.
6 A functional correspondence between call-by-need evaluators .. - Ager, Danvy et al. - 2004
5 A functional correspondence between monadic evaluators and a.. - Ager, Danvy et al. - 2003
3 higher-order (context) - Ibraheem, Schmidt et al. - 2000
3 An abstract machine for the normalization of #-terms (context) - Cregut - 1990
Documents on the same site (http://www.brics.dk/RS/04/Ref/BRICS-RS-04-Ref/BRICS-RS-04-Ref.html): More
Congruences for Contextual Graph-Rewriting - Sassone, Sobocinski (2004) (Correct)
The Design Space of Type Checkers for XML Transformation.. - Møller, Schwartzbach (2004) (Correct)
Split-2 Bisimilarity has a Finite Axiomatization over CCS with.. - Aceto, al. (2004) (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