Donald Sannella - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Donald Sannella' as author, editor, or advisor:

Observability Concepts in Abstract Data Type Specification, 30 Years LaterDonald Sannella, Andrzej Tarlecki. birthday 2008: 593-617 [doi]
A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th BirthdaySam Lindley, Conor McBride, Philip W. Trinder, Donald Sannella, editors, Volume 9600 of Lecture Notes in Computer Science, Springer, 2016. [doi]
Programming Languages and Systems - ESOP 94, 5th European Symposium on Programming, Edinburgh, U.K., April 11-13, 1994, ProceedingsDonald Sannella, editor, Volume 788 of Lecture Notes in Computer Science, Springer, 1994.
Preface for the special issue in homage to Martin Hofmann Part 2Jan Hoffmann 0002, Donald Sannella, Ulrich Schöpp. mscs, 32(6):682-684, June 2022. [doi]
PrefaceDonald Sannella. TCS, 350(2-3):163, 2006. [doi]
Completeness of Proof Systems for Equational SpecificationsDavid B. MacQueen, Donald Sannella. TSE, 11(5):454-461, 1985.
Toward Component-Oriented Formal Software Development: An Algebraic ApproachMichel Bidoit, Donald Sannella, Andrzej Tarlecki. rissef 2004: 75-90 [doi]
The Foundational Legacy of ASLDonald Sannella, Andrzej Tarlecki. BIRTHDAY 2015: 253-272 [doi]
Algebraic Constructions: A Simple Framework for Complex Dependencies and ParameterisationGrzegorz Marczynski, Donald Sannella, Andrzej Tarlecki. ijsi, 9(2):117-139, 2015. [doi]
PrefaceGiorgio Ausiello, Lila Kari, Grzegorz Rozenberg, Donald Sannella, Paul G. Spirakis, Pierre-Louis Curien. TCS, 807:1-2, 2020. [doi]
ThreadSafe: Static Analysis for Java ConcurrencyRobert Atkey, Donald Sannella. eceasst, 72, 2015. [doi]
TCS in the 21st centuryGiorgio Ausiello, Lila Kari, Grzegorz Rozenberg, Donald Sannella. TCS, 591:3-4, 2015. [doi]
Introduction to Computation - Haskell, Logic and AutomataDonald Sannella, Michael Fourman, Haoran Peng, Philip Wadler. Undergraduate Topics in Computer Science, Springer, 2021. [doi]
Symbolic and Analytic Techniques for Resource Analysis of Java BytecodeDavid Aspinall, Robert Atkey, Kenneth Mackenzie, Donald Sannella. tgc 2010: 1-22 [doi]
Specification LanguagesDonald Sannella, Martin Wirsing. In Egidio Astesiano, Hans-Jörg Kreowski, Bernd Krieg-Brückner, editors, Algebraic Foundations of Systems Specification. IFIP State-of-the-Art Reports, pages 243-272, Springer, 1999. [doi]
Lax Logical RelationsGordon D. Plotkin, John Power, Donald Sannella, Robert D. Tennent. icalp 2000: 85-102 [doi]
Algebraic PreliminariesDonald Sannella, Andrzej Tarlecki. In Egidio Astesiano, Hans-Jörg Kreowski, Bernd Krieg-Brückner, editors, Algebraic Foundations of Systems Specification. IFIP State-of-the-Art Reports, pages 13-30, Springer, 1999. [doi]
On Normal Forms for Structured Specifications with Generating ConstraintsDonald Sannella, Andrzej Tarlecki. BIRTHDAY 2018: 266-284 [doi]
Program Specification and Development in Standard MLDonald Sannella, Andrzej Tarlecki. POPL 1985: 67-77
PrefaceUgo Montanari, Donald Sannella. TCS, 402(2-3):81, 2008. [doi]
Parchments for CafeOBJ LogicsTill Mossakowski, Wieslaw Pawlowski, Donald Sannella, Andrzej Tarlecki. BIRTHDAY 2014: 66-91 [doi]
A Set-Theoretic Semantics for ClearDonald Sannella. ACTA, 21:443-472, 1984.
Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part IIGiuseppe F. Italiano, Giovanni Pighizzini, Donald Sannella, editors, Volume 9235 of Lecture Notes in Computer Science, Springer, 2015. [doi]
Preface for the special issue in homage to Martin Hofmann Part 1Jan Hoffmann 0002, Donald Sannella, Ulrich Schöpp. mscs, 31(9):950-952, 2021. [doi]
Modularity of Ontologies in an Arbitrary InstitutionYazmin Angélica Ibáñez-García, Till Mossakowski, Donald Sannella, Andrzej Tarlecki. BIRTHDAY 2015: 361-379 [doi]
Semantics, implementation and pragmatics of Clear, a program specification languageDonald Sannella. PhD thesis, University of Edinburgh, UK, 1982. [doi]
Specification refinements: Calculi, tools, and applicationsMihai Codescu, Till Mossakowski, Donald Sannella, Andrzej Tarlecki. SCP, 144:1-49, 2017. [doi]
A Kernel Language for Algebraic Specification and ImplementationDonald Sannella, Martin Wirsing. adt 1983:
Property-oriented semantics of structured specificationsDonald Sannella, Andrzej Tarlecki. mscs, 24(2), 2014. [doi]
PrefaceGiorgio Ausiello, Lila Kari, Grzegorz Rozenberg, Donald Sannella, Paul G. Spirakis, Pierre-Louis Curien. TCS, 777:1-2, 2019. [doi]
Foundations of Algebraic Specification and Formal Software DevelopmentDonald Sannella, Andrzej Tarlecki. EATCS Monographs on theoretical computer science, Springer, 2012. [doi]
On Observational Equivalence and Algebraic SpecificationDonald Sannella, Andrzej Tarlecki. tapsoft 1985: 308-322
Algebraic specification and formal methods for program development: what are the real problems?Donald Sannella, Andrzej Tarlecki. In Grzegorz Rozenberg, Arto Salomaa, editors, Current Trends in Theoretical Computer Science - Essays and Tutorials. Volume 40 of World Scientific Series in Computer Science, pages 115-120, World Scientific, 1993. [doi]
45th International Colloquium on Automata, Languages, and Programming, ICALP 2018, July 9-13, 2018, Prague, Czech RepublicIoannis Chatzigiannakis, Christos Kaklamanis, Dániel Marx, Donald Sannella, editors, Volume 107 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018. [doi]
Structuring Specifications in-the-Large and in-the-Small: Higher-Order Functions, Dependent Types and Inheritance in SPECTRALBernd Krieg-Brückner, Donald Sannella. tapsoft 1991: 313-336
Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part IGiuseppe F. Italiano, Giovanni Pighizzini, Donald Sannella, editors, Volume 9234 of Lecture Notes in Computer Science, Springer, 2015. [doi]

runs on WebDSL