Donald Sannella

Donald Sannella, Andrzej Tarlecki: Foundations of Algebraic Specification and Formal Software Development. EATCS Monographs on theoretical computer science, Springer 2012, isbn 978-3-642-17335-6, pp. I-XVI, 1-581

David Aspinall, Robert Atkey, Kenneth MacKenzie, Donald Sannella: Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode. TGC 2010: 1-22

Michel Bidoit, Donald Sannella, Andrzej Tarlecki: Observational interpretation of Casl specifications. Mathematical Structures in Computer Science 18(2): 325-371 (2008)

Ugo Montanari, Donald Sannella: Preface. Theor. Comput. Sci. 402(2-3): 81 (2008)

Donald Sannella, Andrzej Tarlecki: Observability Concepts in Abstract Data Type Specification, 30 Years Later. Concurrency, Graphs and Models 2008: 593-617

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)

Ugo Montanari, Donald Sannella, Roberto Bruni (Eds.): Trustworthy Global Computing, Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers. Lecture Notes in Computer Science 4661, Springer 2007, isbn 978-3-540-75333-9

Donald Sannella: Preface. Theor. Comput. Sci. 350(2-3): 163 (2006)

Donald Sannella, Andrzej Tarlecki: Horizontal Composability Revisited. Essays Dedicated to Joseph A. Goguen 2006: 296-316

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

David Aspinall, Stephen Gilmore, Martin Hofmann, Donald Sannella, Ian Stark: Mobile Resource Guarantees for Smart Devices. CASSIS 2004: 1-26

Till Mossakowski, Donald Sannella, Andrzej Tarlecki: A Simple Refinement Language for Casl. WADT 2004: 162-185

Josep Díaz, Juhani Karhumäki, Arto Lepistö, Donald Sannella (Eds.): Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings. Lecture Notes in Computer Science 3142, Springer 2004, isbn 3-540-22849-7

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-4): 285-321 (2003)

Jo Erskine Hannay, Shin-ya Katsumata, Donald Sannella: Semantic and Syntactic Approaches to Simulation Relations. MFCS 2003: 68-91

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)

Michel Bidoit, Donald Sannella, Andrzej Tarlecki: Architectural Specifications in CASL. Formal Asp. Comput. 13(3-5): 252-273 (2002)

Furio Honsell, Donald Sannella: Prelogical Relations. Inf. Comput. 178(1): 23-43 (2002)

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)

David Aspinall, Donald Sannella: From Specifications to Code in CASL. AMAST 2002: 1-14

Michel Bidoit, Donald Sannella, Andrzej Tarlecki: Global Development via Local Observational Construction Steps. MFCS 2002: 1-24

Patrícia D. L. Machado, Donald Sannella: Unit Testing for C88 ASL Architectural Specifications. MFCS 2002: 506-518

Michel Bidoit, Donald Sannella, Andrzej Tarlecki: Toward Component-Oriented Formal Software Development: An Algebraic Approach. RISSEF 2002: 75-90

Giorgio Ausiello, Donald Sannella, Michael W. Mislove: 25 Years. Theor. Comput. Sci. 250(1-2) (2001)

Donald Sannella: The Common Framework Initiative for Algebraic Specification and Development of Software: Recent Progress. WADT 2001: 328-344

Furio Honsell, John Longley, Donald Sannella, Andrzej Tarlecki: Constructive Data Refinement in Typed Lambda Calculus. FoSSaCS 2000: 161-176

Gordon D. Plotkin, John Power, Donald Sannella, Robert D. Tennent: Lax Logical Relations. ICALP 2000: 85-102

Donald Sannella, Andrzej Tarlecki: Algebraic Methods for Specification and Formal Development of Programs. ACM Comput. Surv. 31(3es): 10 (1999)

Furio Honsell, Donald Sannella: Pre-logical Relations. CSL 1999: 546-561

Donald Sannella: The Common Framework Initiative for Algebraic Specification and Development of Software. Ershov Memorial Conference 1999: 1-9

Donald Sannella: Algebraic Specification and Program Development by Stepwise Refinement. LOPSTR 1999: 1-9

Michel Bidoit, Donald Sannella, Andrzej Tarlecki: Architectural Specifications in CASL. AMAST 1998: 341-357

Stefan Kahrs, Donald Sannella: Reflections on the Design of a Specification language. FASE 1998: 154-170

Donald Sannella, Andrzej Tarlecki: Essential Concepts of Algebraic Specification and Program Development. Formal Asp. Comput. 9(3): 229-269 (1997)

Stefan Kahrs, Donald Sannella, Andrzej Tarlecki: The Definition of Extended ML: A Gentle Introduction. Theor. Comput. Sci. 173(2): 445-484 (1997)

Donald Sannella: What Does the Future Hold for Theoretical Computer Science? TAPSOFT 1997: 15-19

Martin Hofmann, Donald Sannella: On Behavioural Abstraction and Behavioural Satisfaction in Higher-Order Logic. Theor. Comput. Sci. 167(1&2): 3-45 (1996)

Donald Sannella, Andrzej Tarlecki: Mind the Gap! Abstract Versus Concrete Models of Specifications. MFCS 1996: 114-134

Donald Sannella: Foreword: Selected Papers of ESOP'94. Sci. Comput. Program. 25(2-3): 79-80 (1995)

Martin Hofmann, Donald Sannella: On Behavioral Abstraction and Behavioural Satisfaction in Higher-Order Logic. TAPSOFT 1995: 247-261

Robert Harper, Donald Sannella, Andrzej Tarlecki: Structured Theory Presentations and Logic Representations. Ann. Pure Appl. Logic 67(1-3): 113-160 (1994)

Stefan Kahrs, Donald Sannella, Andrzej Tarlecki: Interfaces and Extended ML. Workshop on Interface Definition Languages 1994: 111-118

Donald Sannella (Ed.): Programming Languages and Systems - ESOP'94, 5th European Symposium on Programming, Edinburgh, U.K., April 11-13, 1994, Proceedings. Lecture Notes in Computer Science 788, Springer 1994, isbn 3-540-57880-3

Stefan Kahrs, Donald Sannella, Andrzej Tarlecki: The Semantics of Extended ML: A Gentle Introduction. Semantics of Specification Languages 1993: 186-215

Donald Sannella, Stefan Sokolowski, Andrzej Tarlecki: Toward Formal Development of Programs from Algebraic Specifications: Parameterisation Revisited. Acta Inf. 29(8): 689-736 (1992)

Donald Sannella, Lincoln A. Wallen: A Calculus for the Construction of Modular Prolog Programs. J. Log. Program. 12(1&2): 147-177 (1992)

Donald Sannella, Andrzej Tarlecki: Towards Formal Development of Programs from Algebraic Specifications: Model-Theoretic Foundations. ICALP 1992: 656-671

Michel Bidoit, Hans-Jörg Kreowski, Pierre Lescanne, Fernando Orejas, Donald Sannella (Eds.): Algebraic System Specification and Development - A Survey and Annotated Bibliography. Lecture Notes in Computer Science 501, Springer 1991, isbn 3-540-54060-1

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

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)

Donald Sannella, Andrzej Tarlecki: A Kernel Specification Formalism with Higher-Order Parameterization. ADT 1990: 274-296

Donald Sannella, Andrzej Tarlecki: Extended ML: Past, Present, and Future. ADT 1990: 297-322

Robert Harper, Donald Sannella, Andrzej Tarlecki: Logic Representation in LF. Category Theory and Computer Science 1989: 250-272

Robert Harper, Donald Sannella, Andrzej Tarlecki: Structure and Representation in LF. LICS 1989: 226-237

Donald Sannella, Andrzej Tarlecki: Toward Formal Development of ML Programs: Foundations and Methodology (Extended Abstract). TAPSOFT, Vol.2 1989: 375-389

Donald Sannella, Andrzej Tarlecki: Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited. Acta Inf. 25(3): 233-281 (1988)

Donald Sannella, Andrzej Tarlecki: Specifications in an Arbitrary Institution. Inf. Comput. 76(2/3): 165-210 (1988)

Donald Sannella, Andrzej Tarlecki: Formal Development of ML Programs: Methodological Aspects. ADT 1988

Donald Sannella, Andrzej Tarlecki: On Observational Equivalence and Algebraic Specification. J. Comput. Syst. Sci. 34(2/3): 150-178 (1987)

Donald Sannella, Lincoln A. Wallen: A Calculus for the Construction of Modular Prolog Programs. SLP 1987: 368-378

Donald Sannella, Andrzej Tarlecki: Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited (Extended Abstract). TAPSOFT, Vol.1 1987: 96-110

Donald Sannella, Andrzej Tarlecki (Eds.): Recent Trends in Data Type Specification, 5th Workshop on Abstract Data Types, Gullane, Scotland, September 1-4, 1987, Selected Papers. Lecture Notes in Computer Science 332, Springer 1987

Donald Sannella, Andrzej Tarlecki: Extended ML: An Institution-Independent Framework for Formal Program Development. ADT 1986

David B. MacQueen, Donald Sannella: Completeness of Proof Systems for Equational Specifications. IEEE Trans. Software Eng. 11(5): 454-461 (1985)

Donald Sannella, Andrzej Tarlecki: Extended ML: an Institution - Independent Framework for Formal Program Development. CTCS 1985: 364-389

Donald Sannella, Andrzej Tarlecki: Program Specification and Development in Standard ML. POPL 1985: 67-77

Donald Sannella, Andrzej Tarlecki: On Observational Equivalence and Algebraic Specification. TAPSOFT, Vol.1 1985: 308-322

Donald Sannella: A Set-Theoretic Semantics for Clear. Acta Inf. 21: 443-472 (1984)

Donald Sannella, Andrzej Tarlecki: Some Thoughts on Algebraic Specification. ADT 1984: 31-38

Donald Sannella, Andrzej Tarlecki: Building Specifications in an Arbitrary Institution. Semantics of Data Types 1984: 337-356

Donald Sannella, Martin Wirsing: A Kernel Language for Algebraic Specification and Implementation. ADT 1983

Donald Sannella, Rod M. Burstall: Structured Theories in LCF. CAAP 1983: 377-391

Donald Sannella, Martin Wirsing: A Kernel Language for Algebraic Specification and Implementation - Extended Abstract. FCT 1983: 413-427

Donald Sannella, Martin Wirsing: Implementation of Parameterised Specifications (Extended Abstract). ICALP 1982: 473-488

Rod M. Burstall, David B. MacQueen, Donald Sannella: HOPE: An Experimental Applicative Language. LISP Conference 1980: 136-143