 | 2008 |
|---|
| 73 |       | Donald Sannella,
Andrzej Tarlecki:
Observability Concepts in Abstract Data Type Specification, 30 Years Later.
Concurrency, Graphs and Models 2008: 593-617 |
| 72 | | Michel Bidoit,
Donald Sannella,
Andrzej Tarlecki:
Observational interpretation of Casl specifications.
Mathematical Structures in Computer Science 18(2): 325-371 (2008) |
| 71 | | Ugo Montanari,
Donald Sannella:
Preface.
Theor. Comput. Sci. 402(2-3): 81 (2008) |
| 2007 |
|---|
| 70 |  | Ugo Montanari,
Donald Sannella,
Roberto Bruni:
Trustworthy Global Computing, Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers
Springer 2007 |
| 69 | | Donald Sannella,
Vladimiro Sassone:
Semantic and logical foundations of global computing: Papers from the EU-FET global computing initiative (2001-2005).
Theor. Comput. Sci. 389(3): 337-340 (2007) |
| 2006 |
|---|
| 68 | | Donald Sannella,
Andrzej Tarlecki:
Horizontal Composability Revisited.
Essays Dedicated to Joseph A. Goguen 2006: 296-316 |
| 67 | | Donald Sannella:
Preface.
Theor. Comput. Sci. 350(2-3): 163 (2006) |
| 2005 |
|---|
| 66 | | Donald Sannella,
Martin Hofmann,
David Aspinall,
Stephen Gilmore,
Ian Stark,
Lennart Beringer,
Hans-Wolfgang Loidl,
Kenneth MacKenzie,
Alberto Momigliano,
Olha Shkaravska:
Mobile Resource Guarantees (project evaluation paper).
Trends in Functional Programming 2005: 211-226 |
| 2004 |
|---|
| 65 | | Josep Díaz,
Juhani Karhumäki,
Arto Lepistö,
Donald Sannella:
Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings
Springer 2004 |
| 64 | | David Aspinall,
Stephen Gilmore,
Martin Hofmann,
Donald Sannella,
Ian Stark:
Mobile Resource Guarantees for Smart Devices.
CASSIS 2004: 1-26 |
| 63 | | Till Mossakowski,
Donald Sannella,
Andrzej Tarlecki:
A Simple Refinement Language for Casl.
WADT 2004: 162-185 |
| 2003 |
|---|
| 62 | | Jo Erskine Hannay,
Shin-ya Katsumata,
Donald Sannella:
Semantic and Syntactic Approaches to Simulation Relations.
MFCS 2003: 68-91 |
| 61 | | Till Mossakowski,
Anne Elisabeth Haxthausen,
Donald Sannella,
Andrzej Tarlecki:
Casl - The Common Algebraic Specification Language: Semantics and Proof Theory.
Computers and Artificial Intelligence 22(3): (2003) |
| 2002 |
|---|
| 60 | | David Aspinall,
Donald Sannella:
From Specifications to Code in CASL.
AMAST 2002: 1-14 |
| 59 | | Michel Bidoit,
Donald Sannella,
Andrzej Tarlecki:
Global Development via Local Observational Construction Steps.
MFCS 2002: 1-24 |
| 58 | | Patrícia D. L. Machado,
Donald Sannella:
Unit Testing for C88 ASL Architectural Specifications.
MFCS 2002: 506-518 |
| 57 | | Michel Bidoit,
Donald Sannella,
Andrzej Tarlecki:
Toward Component-Oriented Formal Software Development: An Algebraic Approach.
RISSEF 2002: 75-90 |
| 56 | | David E. Rydeheard,
Donald Sannella:
A Collection of Papers and Memoirs Celebrating the Contribution of Rod Burstall to Advances in Computer Science.
Formal Asp. Comput. 13(3-5): 187-193 (2002) |
| 55 | | Michel Bidoit,
Donald Sannella,
Andrzej Tarlecki:
Architectural Specifications in CASL.
Formal Asp. Comput. 13(3-5): 252-273 (2002) |
| 54 | | Furio Honsell,
Donald Sannella:
Prelogical Relations.
Inf. Comput. 178(1): 23-43 (2002) |
| 53 | | Egidio Astesiano,
Michel Bidoit,
Hélène Kirchner,
Bernd Krieg-Brückner,
Peter D. Mosses,
Donald Sannella,
Andrzej Tarlecki:
CASL: the Common Algebraic Specification Language.
Theor. Comput. Sci. 286(2): 153-196 (2002) |
| 2001 |
|---|
| 52 | | Donald Sannella:
The Common Framework Initiative for Algebraic Specification and Development of Software: Recent Progress.
WADT 2001: 328-344 |
| 51 | | Giorgio Ausiello,
Donald Sannella,
Michael W. Mislove:
25 Years.
Theor. Comput. Sci. 250(1-2): (2001) |
| 2000 |
|---|
| 50 | | Furio Honsell,
John Longley,
Donald Sannella,
Andrzej Tarlecki:
Constructive Data Refinement in Typed Lambda Calculus.
FoSSaCS 2000: 161-176 |
| 49 | | Gordon D. Plotkin,
John Power,
Donald Sannella,
Robert D. Tennent:
Lax Logical Relations.
ICALP 2000: 85-102 |
| 1999 |
|---|
| 48 | | Furio Honsell,
Donald Sannella:
Pre-logical Relations.
CSL 1999: 546-561 |
| 47 | | Donald Sannella:
The Common Framework Initiative for Algebraic Specification and Development of Software.
Ershov Memorial Conference 1999: 1-9 |
| 46 | | Donald Sannella:
Algebraic Specification and Program Development by Stepwise Refinement.
LOPSTR 1999: 1-9 |
| 45 | | Donald Sannella,
Andrzej Tarlecki:
Algebraic Methods for Specification and Formal Development of Programs.
ACM Comput. Surv. 31(3es): 10 (1999) |
| 1998 |
|---|
| 44 | | Michel Bidoit,
Donald Sannella,
Andrzej Tarlecki:
Architectural Specifications in CASL.
AMAST 1998: 341-357 |
| 43 | | Stefan Kahrs,
Donald Sannella:
Reflections on the Design of a Specification language.
FASE 1998: 154-170 |
| 1997 |
|---|
| 42 | | Donald Sannella:
What Does the Future Hold for Theoretical Computer Science?
TAPSOFT 1997: 15-19 |
| 41 | | Donald Sannella,
Andrzej Tarlecki:
Essential Concepts of Algebraic Specification and Program Development.
Formal Asp. Comput. 9(3): 229-269 (1997) |
| 40 | | Stefan Kahrs,
Donald Sannella,
Andrzej Tarlecki:
The Definition of Extended ML: A Gentle Introduction.
Theor. Comput. Sci. 173(2): 445-484 (1997) |
| 1996 |
|---|
| 39 | | Donald Sannella,
Andrzej Tarlecki:
Mind the Gap! Abstract Versus Concrete Models of Specifications.
MFCS 1996: 114-134 |
| 38 | | Martin Hofmann,
Donald Sannella:
On Behavioural Abstraction and Behavioural Satisfaction in Higher-Order Logic.
Theor. Comput. Sci. 167(1&2): 3-45 (1996) |
| 1995 |
|---|
| 37 | | Martin Hofmann,
Donald Sannella:
On Behavioral Abstraction and Behavioural Satisfaction in Higher-Order Logic.
TAPSOFT 1995: 247-261 |
| 36 | | Donald Sannella:
Foreword: Selected Papers of ESOP'94.
Sci. Comput. Program. 25(2-3): 79-80 (1995) |
| 1994 |
|---|
| 35 | | Donald Sannella:
Programming Languages and Systems - ESOP'94, 5th European Symposium on Programming, Edinburgh, U.K., April 11-13, 1994, Proceedings
Springer 1994 |
| 34 | | Stefan Kahrs,
Donald Sannella,
Andrzej Tarlecki:
Interfaces and Extended ML.
Workshop on Interface Definition Languages 1994: 111-118 |
| 33 | | Robert Harper,
Donald Sannella,
Andrzej Tarlecki:
Structured Theory Presentations and Logic Representations.
Ann. Pure Appl. Logic 67(1-3): 113-160 (1994) |
| 1993 |
|---|
| 32 | | Stefan Kahrs,
Donald Sannella,
Andrzej Tarlecki:
The Semantics of Extended ML: A Gentle Introduction.
Semantics of Specification Languages 1993: 186-215 |
| 1992 |
|---|
| 31 | | Donald Sannella,
Andrzej Tarlecki:
Towards Formal Development of Programs from Algebraic Specifications: Model-Theoretic Foundations.
ICALP 1992: 656-671 |
| 30 | | Donald Sannella,
Stefan Sokolowski,
Andrzej Tarlecki:
Toward Formal Development of Programs from Algebraic Specifications: Parameterisation Revisited.
Acta Inf. 29(8): 689-736 (1992) |
| 29 | | Donald Sannella,
Lincoln A. Wallen:
A Calculus for the Construction of Modular Prolog Programs.
J. Log. Program. 12(1&2): 147-177 (1992) |
| 1991 |
|---|
| 28 | | Michel Bidoit,
Hans-Jörg Kreowski,
Pierre Lescanne,
Fernando Orejas,
Donald Sannella:
Algebraic System Specification and Development - A Survey and Annotated Bibliography
Springer 1991 |
| 27 | | Bernd Krieg-Brückner,
Donald Sannella:
Structuring Specifications in-the-Large and in-the-Small: Higher-Order Functions, Dependent Types and Inheritance in SPECTRAL.
TAPSOFT, Vol.2 1991: 313-336 |
| 1990 |
|---|
| 26 | | Donald Sannella,
Andrzej Tarlecki:
A Kernel Specification Formalism with Higher-Order Parameterization.
ADT 1990: 274-296 |
| 25 | | Donald Sannella,
Andrzej Tarlecki:
Extended ML: Past, Present, and Future.
ADT 1990: 297-322 |
| 24 | | Donald Sannella,
Andrzej Tarlecki:
Algebraic specification and formal methods for program development: what are the real problems?
Bulletin of the EATCS 41: 134-138 (1990) |
| 1989 |
|---|
| 23 | | Robert Harper,
Donald Sannella,
Andrzej Tarlecki:
Logic Representation in LF.
Category Theory and Computer Science 1989: 250-272 |
| 22 | | Robert Harper,
Donald Sannella,
Andrzej Tarlecki:
Structure and Representation in LF
LICS 1989: 226-237 |
| 21 | | Donald Sannella,
Andrzej Tarlecki:
Toward Formal Development of ML Programs: Foundations and Methodology (Extended Abstract).
TAPSOFT, Vol.2 1989: 375-389 |
| 1988 |
|---|
| 20 | | Donald Sannella,
Andrzej Tarlecki:
Formal Development of ML Programs: Methodological Aspects.
ADT 1988 |
| 19 | | Donald Sannella,
Andrzej Tarlecki:
Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited.
Acta Inf. 25(3): 233-281 (1988) |
| 18 | | Donald Sannella,
Andrzej Tarlecki:
Specifications in an Arbitrary Institution
Inf. Comput. 76(2/3): 165-210 (1988) |
| 1987 |
|---|
| 17 | | Donald Sannella,
Andrzej Tarlecki:
Recent Trends in Data Type Specification, 5th Workshop on Abstract Data Types, Gullane, Scotland, September 1-4, 1987, Selected Papers
Springer 1987 |
| 16 | | Donald Sannella,
Lincoln A. Wallen:
A Calculus for the Construction of Modular Prolog Programs.
SLP 1987: 368-378 |
| 15 | | Donald Sannella,
Andrzej Tarlecki:
Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited (Extended Abstract).
TAPSOFT, Vol.1 1987: 96-110 |
| 14 | | Donald Sannella,
Andrzej Tarlecki:
On Observational Equivalence and Algebraic Specification.
J. Comput. Syst. Sci. 34(2/3): 150-178 (1987) |
| 1986 |
|---|
| 13 | | Donald Sannella,
Andrzej Tarlecki:
Extended ML: An Institution-Independent Framework for Formal Program Development.
ADT 1986 |
| 1985 |
|---|
| 12 | | Donald Sannella,
Andrzej Tarlecki:
Extended ML: an Institution - Independent Framework for Formal Program Development.
CTCS 1985: 364-389 |
| 11 | | Donald Sannella,
Andrzej Tarlecki:
Program Specification and Development in Standard ML.
POPL 1985: 67-77 |
| 10 | | Donald Sannella,
Andrzej Tarlecki:
On Observational Equivalence and Algebraic Specification.
TAPSOFT, Vol.1 1985: 308-322 |
| 9 | | David B. MacQueen,
Donald Sannella:
Completeness of Proof Systems for Equational Specifications.
IEEE Trans. Software Eng. 11(5): 454-461 (1985) |
| 1984 |
|---|
| 8 | | Donald Sannella,
Andrzej Tarlecki:
Some Thoughts on Algebraic Specification.
ADT 1984: 31-38 |
| 7 | | Donald Sannella,
Andrzej Tarlecki:
Building Specifications in an Arbritrary Institution.
Semantics of Data Types 1984: 337-356 |
| 6 | | Donald Sannella:
A Set-Theoretic Semantics for Clear.
Acta Inf. 21: 443-472 (1984) |
| 1983 |
|---|
| 5 | | Donald Sannella,
Martin Wirsing:
A Kernel Language for Algebraic Specification and Implementation.
ADT 1983 |
| 4 | | Donald Sannella,
Rod M. Burstall:
Structured Theories in LCF.
CAAP 1983: 377-391 |
| 3 | | Donald Sannella,
Martin Wirsing:
A Kernel Language for Algebraic Specification and Implementation - Extended Abstract.
FCT 1983: 413-427 |
| 1982 |
|---|
| 2 | | Donald Sannella,
Martin Wirsing:
Implementation of Parameterised Specifications (Extended Abstract).
ICALP 1982: 473-488 |
| 1980 |
|---|
| 1 | | Rod M. Burstall,
David B. MacQueen,
Donald Sannella:
HOPE: An Experimental Applicative Language.
LISP Conference 1980: 136-143 |
