Concepedia

Peter Sestoft

PS

14

Publications

995

Citations

12

H-Index

1985

Active since

Affiliations

University of Copenhagen(Current)

Department of Agricultural Sciences

IT University of Copenhagen

Peter Sestoft is an author at University of Copenhagen specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceAutomated ReasoningFormal MethodsProgram AnalysisSoftware AnalysisSemanticsData ScienceFormal VerificationComputer Engineering

Publications per year

1985–2020

14

Publications

14

Mix: A self-applicable partial evaluator for experiments in compiler generation

Neil D. Jones, Peter Sestoft, Harald Søndergaard · LISP and Symbolic Computation · 1989 · 254 citations

Engineering, Program Analysis, Compiler Technology +13

Deriving a lazy abstract machine

Peter Sestoft · Journal of Functional Programming · 1997 · 199 citations · Full text

Abstract Machine, Engineering, Operational Semantics +15

Replacing function parameters by global variables

Peter Sestoft · 1989 · 119 citations

Large-scale Global Optimization, Parametric Programming, Engineering +7

Non-determinism in Functional Languages

Peter Sestoft · The Computer Journal · 1992 · 88 citations

Engineering, Semantics, Power Domains +16

Referential transparency, definiteness and unfoldability

Harald S�ndergaard, Peter Sestoft · Acta Informatica · 1990 · 68 citations

Formal Semantics, Engineering, Vagueness +6

Rows per page

1–5 of 14