default search action
Donald Sannella
Person information
- affiliation: University of Edinburgh, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [j33]Jan Hoffmann, Donald Sannella, Ulrich Schöpp:
Preface for the special issue in homage to Martin Hofmann Part 2. Math. Struct. Comput. Sci. 32(6): 682-684 (2022) - 2021
- [b3]Donald Sannella, Michael Fourman, Haoran Peng, Philip Wadler:
Introduction to Computation - Haskell, Logic and Automata. Undergraduate Topics in Computer Science, Springer 2021, ISBN 978-3-030-76907-9, pp. 1-356 - [j32]Jan Hoffmann, Donald Sannella, Ulrich Schöpp:
Preface for the special issue in homage to Martin Hofmann Part 1. Math. Struct. Comput. Sci. 31(9): 950-952 (2021) - 2020
- [j31]Giorgio Ausiello, Lila Kari, Grzegorz Rozenberg, Donald Sannella, Paul G. Spirakis, Pierre-Louis Curien:
Preface. Theor. Comput. Sci. 807: 1-2 (2020)
2010 – 2019
- 2019
- [j30]Giorgio Ausiello, Lila Kari, Grzegorz Rozenberg, Donald Sannella, Paul G. Spirakis, Pierre-Louis Curien:
Preface. Theor. Comput. Sci. 777: 1-2 (2019) - [i1]Nikita Samarin, Donald Sannella:
A Key to Your Heart: Biometric Authentication Based on ECG Signals. CoRR abs/1906.09181 (2019) - 2018
- [c49]Donald Sannella, Andrzej Tarlecki:
On Normal Forms for Structured Specifications with Generating Constraints. Graph Transformation, Specifications, and Nets 2018: 266-284 - [e9]Ioannis Chatzigiannakis, Christos Kaklamanis, Dániel Marx, Donald Sannella:
45th International Colloquium on Automata, Languages, and Programming, ICALP 2018, July 9-13, 2018, Prague, Czech Republic. LIPIcs 107, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-076-7 [contents] - 2017
- [j29]Mihai Codescu, Till Mossakowski, Donald Sannella, Andrzej Tarlecki:
Specification refinements: Calculi, tools, and applications. Sci. Comput. Program. 144: 1-49 (2017) - 2016
- [e8]Sam Lindley, Conor McBride, Philip W. Trinder, Donald Sannella:
A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 9600, Springer 2016, ISBN 978-3-319-30935-4 [contents] - 2015
- [j28]Robert Atkey, Donald Sannella:
ThreadSafe: Static Analysis for Java Concurrency. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 72 (2015) - [j27]Grzegorz Marczynski, Donald Sannella, Andrzej Tarlecki:
Algebraic Constructions: A Simple Framework for Complex Dependencies and Parameterisation. Int. J. Softw. Informatics 9(2): 117-139 (2015) - [j26]Giorgio Ausiello, Lila Kari, Grzegorz Rozenberg, Donald Sannella:
TCS in the 21st century. Theor. Comput. Sci. 591: 3-4 (2015) - [c48]Donald Sannella, Andrzej Tarlecki:
The Foundational Legacy of ASL. Software, Services, and Systems 2015: 253-272 - [c47]Yazmín Angélica Ibáñez-García, Till Mossakowski, Donald Sannella, Andrzej Tarlecki:
Modularity of Ontologies in an Arbitrary Institution. Logic, Rewriting, and Concurrency 2015: 361-379 - [e7]Giuseppe F. Italiano, Giovanni Pighizzini, Donald Sannella:
Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I. Lecture Notes in Computer Science 9234, Springer 2015, ISBN 978-3-662-48056-4 [contents] - [e6]Giuseppe F. Italiano, Giovanni Pighizzini, Donald Sannella:
Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II. Lecture Notes in Computer Science 9235, Springer 2015, ISBN 978-3-662-48053-3 [contents] - 2014
- [j25]Donald Sannella, Andrzej Tarlecki:
Property-oriented semantics of structured specifications. Math. Struct. Comput. Sci. 24(2) (2014) - [c46]Till Mossakowski, Wieslaw Pawlowski, Donald Sannella, Andrzej Tarlecki:
Parchments for CafeOBJ Logics. Specification, Algebra, and Software 2014: 66-91 - 2012
- [b2]Donald Sannella, Andrzej Tarlecki:
Foundations of Algebraic Specification and Formal Software Development. Monographs in Theoretical Computer Science. An EATCS Series, Springer 2012, ISBN 978-3-642-17335-6, pp. I-XVI, 1-581 - 2010
- [c45]David Aspinall, Robert Atkey, Kenneth MacKenzie, Donald Sannella:
Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode. TGC 2010: 1-22
2000 – 2009
- 2008
- [j24]Michel Bidoit, Donald Sannella, Andrzej Tarlecki:
Observational interpretation of Casl specifications. Math. Struct. Comput. Sci. 18(2): 325-371 (2008) - [j23]Ugo Montanari, Donald Sannella:
Preface. Theor. Comput. Sci. 402(2-3): 81 (2008) - [c44]Donald Sannella, Andrzej Tarlecki:
Observability Concepts in Abstract Data Type Specification, 30 Years Later. Concurrency, Graphs and Models 2008: 593-617 - 2007
- [j22]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) - [e5]Ugo Montanari, Donald Sannella, Roberto Bruni:
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 [contents] - 2006
- [j21]Donald Sannella:
Preface. Theor. Comput. Sci. 350(2-3): 163 (2006) - [c43]Donald Sannella, Andrzej Tarlecki:
Horizontal Composability Revisited. Essays Dedicated to Joseph A. Goguen 2006: 296-316 - 2005
- [c42]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
- [c41]David Aspinall, Stephen Gilmore, Martin Hofmann, Donald Sannella, Ian Stark:
Mobile Resource Guarantees for Smart Devices. CASSIS 2004: 1-26 - [c40]Till Mossakowski, Donald Sannella, Andrzej Tarlecki:
A Simple Refinement Language for Casl. WADT 2004: 162-185 - [e4]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. Lecture Notes in Computer Science 3142, Springer 2004, ISBN 3-540-22849-7 [contents] - 2003
- [j20]Till Mossakowski, Anne E. Haxthausen, Donald Sannella, Andrzej Tarlecki:
Casl - The Common Algebraic Specification Language: Semantics and Proof Theory. Comput. Artif. Intell. 22(3-4): 285-321 (2003) - [c39]Jo Erskine Hannay, Shin-ya Katsumata, Donald Sannella:
Semantic and Syntactic Approaches to Simulation Relations. MFCS 2003: 68-91 - 2002
- [j19]David E. Rydeheard, Donald Sannella:
A Collection of Papers and Memoirs Celebrating the Contribution of Rod Burstall to Advances in Computer Science. Formal Aspects Comput. 13(3-5): 187-193 (2002) - [j18]Michel Bidoit, Donald Sannella, Andrzej Tarlecki:
Architectural Specifications in CASL. Formal Aspects Comput. 13(3-5): 252-273 (2002) - [j17]Furio Honsell, Donald Sannella:
Prelogical Relations. Inf. Comput. 178(1): 23-43 (2002) - [j16]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) - [c38]David Aspinall, Donald Sannella:
From Specifications to Code in CASL. AMAST 2002: 1-14 - [c37]Michel Bidoit, Donald Sannella, Andrzej Tarlecki:
Global Development via Local Observational Construction Steps. MFCS 2002: 1-24 - [c36]Patrícia D. L. Machado, Donald Sannella:
Unit Testing for CASL Architectural Specifications. MFCS 2002: 506-518 - [c35]Michel Bidoit, Donald Sannella, Andrzej Tarlecki:
Toward Component-Oriented Formal Software Development: An Algebraic Approach. RISSEF 2002: 75-90 - 2001
- [j15]Giorgio Ausiello, Donald Sannella, Michael W. Mislove:
25 Years. Theor. Comput. Sci. 250(1-2) (2001) - [c34]Donald Sannella:
The Common Framework Initiative for Algebraic Specification and Development of Software: Recent Progress. WADT 2001: 328-344 - 2000
- [c33]Furio Honsell, John Longley, Donald Sannella, Andrzej Tarlecki:
Constructive Data Refinement in Typed Lambda Calculus. FoSSaCS 2000: 161-176 - [c32]Gordon D. Plotkin, John Power, Donald Sannella, Robert D. Tennent:
Lax Logical Relations. ICALP 2000: 85-102
1990 – 1999
- 1999
- [j14]Donald Sannella, Andrzej Tarlecki:
Algebraic Methods for Specification and Formal Development of Programs. ACM Comput. Surv. 31(3es): 10 (1999) - [c31]Furio Honsell, Donald Sannella:
Pre-logical Relations. CSL 1999: 546-561 - [c30]Donald Sannella:
The Common Framework Initiative for Algebraic Specification and Development of Software. Ershov Memorial Conference 1999: 1-9 - [c29]Donald Sannella:
Algebraic Specification and Program Development by Stepwise Refinement. LOPSTR 1999: 1-9 - [p3]Donald Sannella, Andrzej Tarlecki:
Algebraic Preliminaries. Algebraic Foundations of Systems Specification 1999: 13-30 - [p2]Donald Sannella, Martin Wirsing:
Specification Languages. Algebraic Foundations of Systems Specification 1999: 243-272 - 1998
- [c28]Michel Bidoit, Donald Sannella, Andrzej Tarlecki:
Architectural Specifications in CASL. AMAST 1998: 341-357 - [c27]Stefan Kahrs, Donald Sannella:
Reflections on the Design of a Specification language. FASE 1998: 154-170 - 1997
- [j13]Donald Sannella, Andrzej Tarlecki:
Essential Concepts of Algebraic Specification and Program Development. Formal Aspects Comput. 9(3): 229-269 (1997) - [j12]Stefan Kahrs, Donald Sannella, Andrzej Tarlecki:
The Definition of Extended ML: A Gentle Introduction. Theor. Comput. Sci. 173(2): 445-484 (1997) - [c26]Donald Sannella:
What Does the Future Hold for Theoretical Computer Science? TAPSOFT 1997: 15-19 - 1996
- [j11]Martin Hofmann, Donald Sannella:
On Behavioural Abstraction and Behavioural Satisfaction in Higher-Order Logic. Theor. Comput. Sci. 167(1&2): 3-45 (1996) - [c25]Donald Sannella, Andrzej Tarlecki:
Mind the Gap! Abstract Versus Concrete Models of Specifications. MFCS 1996: 114-134 - 1995
- [j10]Donald Sannella:
Foreword: Selected Papers of ESOP'94. Sci. Comput. Program. 25(2-3): 79-80 (1995) - [c24]Martin Hofmann, Donald Sannella:
On Behavioral Abstraction and Behavioural Satisfaction in Higher-Order Logic. TAPSOFT 1995: 247-261 - 1994
- [j9]Robert Harper, Donald Sannella, Andrzej Tarlecki:
Structured Theory Presentations and Logic Representations. Ann. Pure Appl. Log. 67(1-3): 113-160 (1994) - [c23]Stefan Kahrs, Donald Sannella, Andrzej Tarlecki:
Interfaces and Extended ML. Workshop on Interface Definition Languages 1994: 111-118 - [e3]Donald Sannella:
Programming Languages and Systems - ESOP'94, 5th European Symposium on Programming, Edinburgh, UK, April 11-13, 1994, Proceedings. Lecture Notes in Computer Science 788, Springer 1994, ISBN 3-540-57880-3 [contents] - 1993
- [c22]Stefan Kahrs, Donald Sannella, Andrzej Tarlecki:
The Semantics of Extended ML: A Gentle Introduction. Semantics of Specification Languages 1993: 186-215 - [p1]Donald Sannella, Andrzej Tarlecki:
Algebraic specification and formal methods for program development: what are the real problems? Current Trends in Theoretical Computer Science 1993: 115-120 - 1992
- [j8]Donald Sannella, Stefan Sokolowski, Andrzej Tarlecki:
Toward Formal Development of Programs from Algebraic Specifications: Parameterisation Revisited. Acta Informatica 29(8): 689-736 (1992) - [j7]Donald Sannella, Lincoln A. Wallen:
A Calculus for the Construction of Modular Prolog Programs. J. Log. Program. 12(1&2): 147-177 (1992) - [c21]Donald Sannella, Andrzej Tarlecki:
Towards Formal Development of Programs from Algebraic Specifications: Model-Theoretic Foundations. ICALP 1992: 656-671 - 1991
- [c20]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 - [e2]Michel Bidoit, Hans-Jörg Kreowski, Pierre Lescanne, Fernando Orejas, Donald Sannella:
Algebraic System Specification and Development - A Survey and Annotated Bibliography. Lecture Notes in Computer Science 501, Springer 1991, ISBN 3-540-54060-1 - 1990
- [j6]Donald Sannella, Andrzej Tarlecki:
Algebraic specification and formal methods for program development: what are the real problems? Bull. EATCS 41: 134-138 (1990) - [c19]Donald Sannella, Andrzej Tarlecki:
A Kernel Specification Formalism with Higher-Order Parameterization. ADT 1990: 274-296 - [c18]Donald Sannella, Andrzej Tarlecki:
Extended ML: Past, Present, and Future. ADT 1990: 297-322
1980 – 1989
- 1989
- [c17]Robert Harper, Donald Sannella, Andrzej Tarlecki:
Logic Representation in LF. Category Theory and Computer Science 1989: 250-272 - [c16]Robert Harper, Donald Sannella, Andrzej Tarlecki:
Structure and Representation in LF. LICS 1989: 226-237 - [c15]Donald Sannella, Andrzej Tarlecki:
Toward Formal Development of ML Programs: Foundations and Methodology (Extended Abstract). TAPSOFT, Vol.2 1989: 375-389 - 1988
- [j5]Donald Sannella, Andrzej Tarlecki:
Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited. Acta Informatica 25(3): 233-281 (1988) - [j4]Donald Sannella, Andrzej Tarlecki:
Specifications in an Arbitrary Institution. Inf. Comput. 76(2/3): 165-210 (1988) - [c14]Donald Sannella, Andrzej Tarlecki:
Formal Development of ML Programs: Methodological Aspects. ADT 1988 - 1987
- [j3]Donald Sannella, Andrzej Tarlecki:
On Observational Equivalence and Algebraic Specification. J. Comput. Syst. Sci. 34(2/3): 150-178 (1987) - [c13]Donald Sannella, Lincoln A. Wallen:
A Calculus for the Construction of Modular Prolog Programs. SLP 1987: 368-378 - [c12]Donald Sannella, Andrzej Tarlecki:
Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited (Extended Abstract). TAPSOFT, Vol.1 1987: 96-110 - [e1]Donald Sannella, Andrzej Tarlecki:
Recent Trends in Data Type Specification, 5th Workshop on Abstract Data Types, Gullane, Scotland, UK, September 1-4, 1987, Selected Papers. Lecture Notes in Computer Science 332, Springer 1987 [contents] - 1986
- [c11]Donald Sannella, Andrzej Tarlecki:
Extended ML: An Institution-Independent Framework for Formal Program Development. ADT 1986 - 1985
- [j2]David B. MacQueen, Donald Sannella:
Completeness of Proof Systems for Equational Specifications. IEEE Trans. Software Eng. 11(5): 454-461 (1985) - [c10]Donald Sannella, Andrzej Tarlecki:
Extended ML: an Institution - Independent Framework for Formal Program Development. CTCS 1985: 364-389 - [c9]Donald Sannella, Andrzej Tarlecki:
Program Specification and Development in Standard ML. POPL 1985: 67-77 - [c8]Donald Sannella, Andrzej Tarlecki:
On Observational Equivalence and Algebraic Specification. TAPSOFT, Vol.1 1985: 308-322 - 1984
- [j1]Donald Sannella:
A Set-Theoretic Semantics for Clear. Acta Informatica 21: 443-472 (1984) - [c7]Donald Sannella, Andrzej Tarlecki:
Some Thoughts on Algebraic Specification. ADT 1984: 31-38 - [c6]Donald Sannella, Andrzej Tarlecki:
Building Specifications in an Arbitrary Institution. Semantics of Data Types 1984: 337-356 - 1983
- [c5]Donald Sannella, Martin Wirsing:
A Kernel Language for Algebraic Specification and Implementation. ADT 1983 - [c4]Donald Sannella, Rod M. Burstall:
Structured Theories in LCF. CAAP 1983: 377-391 - [c3]Donald Sannella, Martin Wirsing:
A Kernel Language for Algebraic Specification and Implementation - Extended Abstract. FCT 1983: 413-427 - 1982
- [b1]Donald Sannella:
Semantics, implementation and pragmatics of Clear, a program specification language. University of Edinburgh, UK, 1982 - [c2]Donald Sannella, Martin Wirsing:
Implementation of Parameterised Specifications (Extended Abstract). ICALP 1982: 473-488 - 1980
- [c1]Rod M. Burstall, David B. MacQueen, Donald Sannella:
HOPE: An Experimental Applicative Language. LISP Conference 1980: 136-143
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint