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
showing all ?? records
2010 – today
- 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 fuer 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]
- [j27]Grzegorz Marczynski, Donald Sannella, Andrzej Tarlecki:
Algebraic Constructions: A Simple Framework for Complex Dependencies and Parameterisation. Int. J. Software and 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]Yazmin 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. Mathematical Structures in Computer Science 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. Mathematical Structures in Computer Science 18(2): 325-371 (2008) - [j23]
- [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]
- [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 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) - [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 Asp. Comput. 13(3-5): 187-193 (2002) - [j18]Michel Bidoit, Donald Sannella, Andrzej Tarlecki:
Architectural Specifications in CASL. Formal Asp. Comput. 13(3-5): 252-273 (2002) - [j17]
- [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]
- [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]
- [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 Asp. 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]
- 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]
- [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. Logic 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 Inf. 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? Bulletin of the EATCS 41: 134-138 (1990) - [c19]Donald Sannella, Andrzej Tarlecki:
A Kernel Specification Formalism with Higher-Order Parameterization. ADT 1990: 274-296 - [c18]
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 Inf. 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]
- [c7]
- [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]
- [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
last updated on 2019-02-14 22:48 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint