Person: Donald Sannella

DBLP: Sannella:Donald

Facilitated 3 volumes:

Ed

Ed

Ed

Contributed to:

2000

2000

1999

1999

1998

1992

1989

1987

1985

1982

1980

1985

1987

1989

1991

1995

1996

1997

Wrote 18 papers:

FoSSaCS-2000-HonsellLST #refinement #λ-calculus

Constructive Data Refinement in Typed λ Calculus (FH, JL, DS, AT), pp. 161–176.

ICALP-2000-PlotkinPST #logic

Lax Logical Relations (GDP, JP, DS, RDT), pp. 85–102.

CSL-1999-HonsellS

Pre-logical Relations (FH, DS), pp. 546–561.

LOPSTR-1999-Sannella #algebra #development #refinement #specification

Algebraic Specification and Program Development by Stepwise Refinement (DS), pp. 1–9.

FASE-1998-KahrsS #design #specification

Reflections on the Design of a Specification language (SK, DS), pp. 154–170.

ICALP-1992-SannellaT #algebra #development #source code #specification #towards

Towards Formal Development of Programs from Algebraic Specifications: Model-Theoretic Foundations (DS, AT), pp. 656–671.

LICS-1989-HarperST #representation

Structure and Representation in LF (RH, DS, AT), pp. 226–237.

SLP-1987-SannellaW87 #calculus #composition #prolog #source code

A Calculus for the Construction of Modular Prolog Programs (DS, LAW), pp. 368–378.

POPL-1985-SannellaT #development #ml #specification #standard

Program Specification and Development in Standard ML (DS, AT), pp. 67–77.

ICALP-1982-SannellaW #implementation #specification

Implementation of Parameterised Specifications (DS, MW), pp. 473–488.

LISP-1980-BurstallMS #named

HOPE: An Experimental Applicative Language (RMB, DBM, DS), pp. 136–143.

CAAP-1985-SannellaT #algebra #equivalence #on the #specification

On Observational Equivalence and Algebraic Specification (DS, AT), pp. 308–322.

CAAP-1987-SannellaT #algebra #development #implementation #source code #specification #towards

Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited (Extended Abstract) (DS, AT), pp. 96–110.

CCIPL-1989-SannellaT #development #ml #source code #towards

Toward Formal Development of ML Programs: Foundations and Methodology (Extended Abstract) (DS, AT), pp. 375–389.

CCPSD-1991-Krieg-BrucknerS #dependent type #higher-order #in the large #in the small #inheritance #specification

Structuring Specifications in-the-Large and in-the-Small: Higher-Order Functions, Dependent Types and Inheritance in SPECTRAL (BKB, DS), pp. 313–336.

TAPSOFT-1995-HofmannS #abstraction #behaviour #higher-order #logic #on the

On Behavioral Abstraction and Behavioural Satisfaction in Higher-Order Logic (MH0, DS), pp. 247–261.

TAPSOFT-J-1995-HofmannS96 #abstraction #behaviour #higher-order #logic #on the

On Behavioural Abstraction and Behavioural Satisfaction in Higher-Order Logic (MH, DS), pp. 3–45.

TAPSOFT-1997-Sanella #question #what

What Does the Future Hold for Theoretical Computer Science? (DS), pp. 15–19.