The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Peter Sestoft: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Harald Søndergaard, Peter Sestoft
    Non-Determinism in Functional Languages. [Citation Graph (1, 0)][DBLP]
    Comput. J., 1992, v:35, n:5, pp:514-523 [Journal]
  2. Peter Sestoft
    Demonstrating Lambda Calculus Reduction. [Citation Graph (0, 0)][DBLP]
    The Essence of Computation, 2002, pp:420-435 [Conf]
  3. Peter Sestoft
    MK Pattern Match Compilation and Partial Evaluation. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Partial Evaluation, 1996, pp:446-464 [Conf]
  4. Carsten K. Gomard, Peter Sestoft
    Evaluation Order Analysis for Lazy Data Structures. [Citation Graph (0, 0)][DBLP]
    Functional Programming, 1991, pp:112-127 [Conf]
  5. Peter Sestoft
    Replacing Function Parameters by Global Variables. [Citation Graph (0, 0)][DBLP]
    FPCA, 1989, pp:39-53 [Conf]
  6. Neil D. Jones, Peter Sestoft, Harald Søndergaard
    MIX: A Self-Applicable Partial Evaluator for Experiments in Compiler Generation (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    MFPS, 1987, pp:386-413 [Conf]
  7. Peter Sestoft
    The structure of a self-applicable partial evaluator. [Citation Graph (0, 0)][DBLP]
    Programs as Data Objects, 1985, pp:236-256 [Conf]
  8. Carsten K. Gomard, Peter Sestoft
    Globalization and Live Variables. [Citation Graph (0, 0)][DBLP]
    PEPM, 1991, pp:166-177 [Conf]
  9. Neil D. Jones, Carsten K. Gomard, Peter Sestoft
    Partial Evaluation for the Lambda Calculus. [Citation Graph (0, 0)][DBLP]
    Partial Evaluation, 1998, pp:203-220 [Conf]
  10. Carsten K. Gomard, Peter Sestoft
    Path Analysis for Lazy Data Structures. [Citation Graph (0, 0)][DBLP]
    PLILP, 1992, pp:54-68 [Conf]
  11. Neil D. Jones, Peter Sestoft, Harald Søndergaard
    An Experiment in Partial Evaluation: The Generation of a Compiler Generator. [Citation Graph (0, 0)][DBLP]
    RTA, 1985, pp:124-140 [Conf]
  12. Zhou Chaochen, Michael R. Hansen, Peter Sestoft
    Decidability and Undecidability Results for Duration Calculus. [Citation Graph (0, 0)][DBLP]
    STACS, 1993, pp:58-68 [Conf]
  13. Harald Søndergaard, Peter Sestoft
    Referential Transparency, Definiteness and Unfoldability. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1989, v:27, n:6, pp:505-517 [Journal]
  14. Peter Sestoft
    Demonstrating Lambda Calculus Reduction. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:45, n:, pp:- [Journal]
  15. Peter Sestoft
    Deriving a Lazy Abstract Machine. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1997, v:7, n:3, pp:231-264 [Journal]
  16. Neil D. Jones, Peter Sestoft, Harald Søndergaard
    Mix: A Self-Applicable Partial Evaluator for Experiments in Compiler Generation. [Citation Graph (0, 0)][DBLP]
    Lisp and Symbolic Computation, 1989, v:2, n:1, pp:9-50 [Journal]
  17. Peter Sestoft, Alexandre V. Zamulin
    Annotated Bibliography on Partial Evaluation and Mixed Computation. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1988, v:6, n:2&3, pp:309-354 [Journal]
  18. Peter Sestoft, Harald Søndergaard
    A bibliography on partial evaluation. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1988, v:23, n:2, pp:19-26 [Journal]
  19. Stephan Diehl, Pieter H. Hartel, Peter Sestoft
    Principles of abstract machines. [Citation Graph (0, 0)][DBLP]
    Future Generation Comp. Syst., 2000, v:16, n:7, pp:- [Journal]
  20. Stephan Diehl, Pieter H. Hartel, Peter Sestoft
    Abstract machines for programming language implementation. [Citation Graph (0, 0)][DBLP]
    Future Generation Comp. Syst., 2000, v:16, n:7, pp:739-751 [Journal]

  21. Flow Analysis of Code Customizations. [Citation Graph (, )][DBLP]


  22. Technologies for Evolvable Software Products: The Conflict between Customizations and Evolution. [Citation Graph (, )][DBLP]


  23. Zero-Overhead Composable Aspects for .NET. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.007secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002