BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Denmark
1 × Germany
1 × Italy
1 × Portugal
1 × Spain
1 × Switzerland
3 × USA
Collaborated with:
A.Tarlecki F.Honsell S.Kahrs L.A.Wallen M.Wirsing B.Krieg-Brückner M.H.0001 M.Hofmann R.Harper R.M.Burstall D.B.MacQueen J.Longley G.D.Plotkin J.Power R.D.Tennent
Talks about:
specif (8) program (6) develop (5) abstract (4) algebra (4) logic (4) behaviour (3) toward (3) higher (3) formal (3)

Person: Donald Sannella

DBLP DBLP: Sannella:Donald

Facilitated 3 volumes:

ICALP 2004Ed
ESOP 1994Ed
ESOP 1994Ed

Contributed to:

FoSSaCS 20002000
ICALP 20002000
CSL 19991999
LOPSTR 19991999
FASE 19981998
ICALP 19921992
LICS 19891989
SLP 19871987
POPL 19851985
ICALP 19821982
LISP 19801980
TAPSOFT, Vol.1: CAAP 19851985
TAPSOFT, Vol.1: CAAP 19871987
TAPSOFT, Vol.2: CCIPL 19891989
TAPSOFT, Vol.2: CCPSD 19911991
TAPSOFT CAAP/FASE 19951995
TAPSOFT 19951996
TAPSOFT CAAP/FASE 19971997

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.