Royal Veterinary and Agricultural (2008)
gives aconcise description ofthe Java programming
68 Index Java Precisely Version 1.05 of 2000-11-23 c (2008)
This document gives a concise description of the Java programming language, version 1.1 and later. It is a quick reference for the reader who has already learnt (or is learning) Java from a standard...
Java Precisely Version 1.05 of 2000-11-23 (2008)
This document gives a concise description of the Java programming language, version 1.1 and later. It is a quick reference for the reader who has already learnt (or is learning) Java from a standard...
This document gives a concise description of the Java programming language, version 1.1 and later. It is a quick reference for the reader who has already learnt (or is learning) Java from a standard...
Torben Mogensen, Peter Sestoft
Partial evaluation is a technique to partially execute a program, when only some of its input data are available. Consider a program p requiring two inputs, x1 and x2. When speci c values d1 and d2...
Louise Barkhuus, Mikkel Cauchi, Kevin Cook Mclean, Rebecca Pruzan, Peter Sestoft
1 INTRODUCTION........................................................................................................................ 4
This document gives a concise description of the Java programming language, version 1.1 and later. It is a quick reference for the reader who has already learnt (or is learning) Java from a standard...
This document gives a concise description of the Java programming language, version 1.1 and later. It is a quick reference for the reader who has already learnt (or is learning) Java from a standard...
Ebbe S. Andersen, Allan Lind-thomsen, Bjarne Knudsen, Susie E. Kristensen, Jakob H. Havgaard, Elfar Torarinsson, ...
Running title: Semi-automated RNA sequence editing
Olivier Danvy, Karoline Malmkjær, Jens Palsberg, Peter Sestoft, Harald Søndergaard
Abstract. Selective eta-expansion is a powerful “binding-time improvement”, i.e., a sourceprogram modification that makes a partial evaluator yield better results. But like most bindingtime...
References: Experience with Generic C# (2008)
C is unsafe even at simple types; Java isn’t The C programming language has noboolean type and will not detect the mistake in this function: double atan2(double y, double x) { if (x = 0.0) return...
Olivier Danvy, Karoline Malmkjær, Jens Palsberg, Peter Sestoft, Harald Søndergaard
Abstract. Selective eta-expansion is a powerful “binding-time improvement”, i.e., a sourceprogram modification that makes a partial evaluator yield better results. But like most bindingtime...
Neil D. Jones, Carsten K. Gomard, Peter Sestoft, Lars Ole Andersen, Torben Mogensen
In 1999, the copyright has been transferred back to the authors.
Neil D. Jones, Carsten K. Gomard, Peter Sestoft, Lars Ole Andersen, Torben Mogensen
In 1999, the copyright has been transferred back to the authors.
Moscow ML Owner's Manual (2007)
Version Of, Sergei Romanenko, Peter Sestoft
This document explains how to use the Moscow ML system. A companion document, the Moscow ML Language Overview , summarizes Moscow ML syntax and some built-in functions [7]. For a list of textbooks...
Moscow ML Owner's Manual (2007)
Version Of, Sergei Romanenko, Peter Sestoft
This document explains how to use the Moscow ML system. A companion document, the Moscow ML Language Overview , summarizes Moscow ML syntax and some built-in functions [8]. For a list of textbooks...
Tine Thorn, Tine Thorn, Tine Thorn, Anders Baumann, Anders Baumann, Anders Baumann, ...
value-oriented
On the Formal Semantics (2007)
Of Visualstate Statecharts, Of Visualstate Statecharts, Peter Sestoft, Peter Sestoft, Peter Sestoft
is permitted for educational or research use on condition that this copyright notice is included in any copy. ISSN 1600--6100 ISBN 87-7949-026-3
Semiautomated improvement of RNA alignments (2007)
Andersen, Ebbe S., Lind-Thomsen, Allan, Knudsen, Bjarne, Kristensen, Susie E., Havgaard, Jakob H., Torarinsson, Elfar, ...
We have developed a semiautomated RNA sequence editor (SARSE) that integrates tools for analyzing RNA alignments. The editor highlights different properties of the alignment by color, and its...
the Principles of Programming Lnguages (POPL 99), 1999. (2007)
Order Mads Tofte, M. Tofte, L. Birkedal, M. Elsman, Mads Tofte, Gordon Plotkin, ...
Publications and notes in chronological
Zhenjiang Hu, Shin-cheng Mu, Nevin Heintze, Julia Lawall, Michael Leuschel, Peter Sestoft
Abstract. This paper presents an application of bidirectional transformations to design and implementation of a novel editor supporting interactive refinement in the development of structured...
Zhenjiang Hu, Shin-cheng Mu, Nevin Heintze, Julia Lawall, Michael Leuschel, Peter Sestoft
Abstract. This paper presents an application of bidirectional transformation to the design and implementation of a novel editor supporting interactive refinement in the development of structured...
A peer-to-peer, value-oriented XML Store (2003)
Tine Thorn, Anders Baumann, Mikkel Fennestad, Peter Sestoft
This paper presents and evaluates XML Store, a distributed and highly scalable storage system for XML documents that builds on the Chord peer-to-peer protocol developed at MIT. The interface (API) to...
Runtime Code Generation with JVM and CLR (2002)
Abstract Modern bytecode execution environments with optimizing just-in-time compilers, such as Sun’s Hotspot Java Virtual Machine, IBM’s Java Virtual Machine, and Microsoft’s Common Language...
Compile-time scope resolution for statecharts transitions (2002)
Abstract. Despite the success of statecharts, surprisingly little research e#ort has been devoted to improving code synthesis techniques for them. The work presented below is an outcome of growing...
Demonstrating lambda calculus reduction (2002)
Abstract. We describe lambda calculus reduction strategies, such as call-by-value, call-by-name, normal order, and applicative order, using big-step operational semantics. We show how to simply and...
A distributed, value-oriented XML Store (2002)
Tine Thorn, Anders Baumann, Mikkel Fennestad, Peter Sestoft
The XML Store is a distributed, value-oriented storage facility for storing XML documents. This thesis demonstrates that it is possible to design and implement an XML Store based on a peer-to-peer...
This document is a translation into English by Noah Torp-Smith of Peter Sestoft’s
of VisualSTATE Statecharts (2002)
Of Visualstate Statecharts, Of Visualstate Statecharts, Andrzej Wsowski Peter, Andrzej Wąsowski, Peter Sestoft, Peter Sestoft, ...
This paper presents a formal semantics of statecharts -- a visual language successfully employed in design of control algorithms. Our formalization is implementation oriented, with e#ciency in the...
Demonstrating lambda calculus reduction (2002)
We describe lambda calculus reduction strategies using big-step operational semantics and show how to efficiently trace such reductions. This is used in a web-based lambda calculus reducer, at
Demonstrating Lambda Calculus Reduction (2001)
We describe lambda calculus reduction strategies using big-step operational semantics and show how to eciently trace such reductions. This is used in a web-based lambda calculus reducer, at...
Moscow ML Owner’s Manual (2000)
Sergei Romanenko, Peter Sestoft
Moscow ML implements a subset of the Standard ML Core language as defined in the Definition of Standard ML [6], except that a few built-in functions have changed to fit the new SML Standard Library....
PMC: A Programming Language for Embedded Systems (1999)
Simon Mørk, Ken Larsen, Henrik Reif Andersen, Lyngby Danmark, Peter Sestoft
The process algebra pmc (Processes with Multiple Clocks) extends Milner's ccs with a notion of qualitative time called clocks. The algebra has been used for specifying industrial size...
Deriving a Lazy Abstract Machine (1997)
Machine Peter Sestoft Department of Mathematics and Physics Royal Veterinary and Agricultural University Thorvaldsensvej 40, DK-1871 Frederiksberg C, Denmark E-mail: sestoft@dina.kvl.dk Version 6 of...
ML pattern match compilation and partial evaluation (1996)
: We derive a compiler for ML-style pattern matches. It is conceptually simple and produces reasonably good compiled matches. The derivation is inspired by the instrumentation and partial evaluation...
Torben Æ. Mogensen, Torben Ae. Mogensen, Peter Sestoft
Introduction: What is partial evaluation? Partial evaluation is a technique to partially execute a program, when only some of its input data are available. Consider a program p requiring two inputs,...
ML pattern match compilation and partial evaluation (1996)
Abstract: We derive a compiler for ML-style pattern matches. It is conceptually simple and produces reasonably good compiled matches. The derivation is inspired by the instrumentation and partial...
The Essence of Eta-Expansion in Partial Evaluation (1995)
Olivier Danvy, Karoline Malmkjaer, Jens Palsberg, Peter Sestoft
. Selective eta-expansion is a powerful "binding-time improvement", i.e., a sourceprogram modification that makes a partial evaluator yield better results. But like most bindingtime...
The Essence of Eta-Expansion in Partial Evaluation (1995)
Olivier Danvy, Karoline Malmkjaer, Jens Palsberg, Peter Sestoft
. Selective eta-expansion is a powerful "binding-time improvement", i.e., a sourceprogram modification that makes a partial evaluator yield better results. But like most bindingtime...
Analysis and Efficient Implementation of Functional Programs (1991)
machines and implementations : : : : : : : : : : : : : : : : : : : 7 1.4 Optimized implementation : : : : : : : : : : : : : : : : : : : : : : : : : : : 9 1.5 Plan of the report : : : : : : : : : : :...
Analysis and Efficient Implementation of Functional Programs (1991)
machines and implementations : : : : : : : : : : : : : : : : : : : 7 1.4 Optimized implementation : : : : : : : : : : : : : : : : : : : : : : : : : : : 9 1.5 Plan of the report : : : : : : : : : : :...
A self-applicable partial evaluator for the lambda calculus (1990)
Neil D. Jones, Carsten K. Gomard, Peter Sestoft
This paper (essentially [12, Chapter 8]) describes partial evaluation for the lambda calculus, augmented with an explicit fixed-point operator. The techniques used here diverge from those used in...
A Spreadsheet Core Implementation in C# Version 1.0 of 2006-09-28 (1600)
Peter Sestoft, Rued Langgaardsvej
is permitted for educational or research use on condition that this copyright notice is included in any copy. ISSN 1600–6100
A Spreadsheet Core Implementation in C# Version 1.0 of 2006-09-28 (1600)
Peter Sestoft, Rued Langgaardsvej
is permitted for educational or research use on condition that this copyright notice is included in any copy. ISSN 1600–6100
The C5 Generic Collection Library for C # and CLI Version 1.0.1 of 2006-06-26 (1600)
Niels Kokholm, Peter Sestoft, Peter Sestoft, Rued Langgaardsvej
Reproduction of all or part of this work is permitted for educational or research use on condition that this copyright notice is included in any copy.
Semiautomated improvement of RNA alignments
Andersen, Ebbe S., Lind-Thomsen, Allan, Knudsen, Bjarne, Kristensen, Susie E., Havgaard, Jakob H., Torarinsson, Elfar, ...
We have developed a semiautomated RNA sequence editor (SARSE) that integrates tools for analyzing RNA alignments. The editor highlights different properties of the alignment by color, and its...