ask others

Donald Sannella

> Home > Persons

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

see FAQ

What is the meaning of the colors in the publication lists?

2018
[c49]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/SannellaT18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/SannellaT18
Donald Sannella, Andrzej Tarlecki:
On Normal Forms for Structured Specifications with Generating Constraints. Graph Transformation, Specifications, and Nets 2018: 266-284
[e9]
- view
  - table of contents in dblp
  - electronic edition @ dagstuhl.de
- export record
  dblp key:
  - conf/icalp/2018
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icalp/2018
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/CodescuMST17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/CodescuMST17
Mihai Codescu, Till Mossakowski, Donald Sannella, Andrzej Tarlecki:
Specification refinements: Calculi, tools, and applications. Sci. Comput. Program. 144: 1-49 (2017)
2016
[e8]
- view
  - table of contents in dblp
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/2016wadler
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/2016wadler
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/eceasst/AtkeyS15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/eceasst/AtkeyS15
Robert Atkey, Donald Sannella:
ThreadSafe: Static Analysis for Java Concurrency. ECEASST 72 (2015)
[j27]
- view
  - electronic edition @ ijsi.org
- export record
  dblp key:
  - journals/ijsi/MarczynskiST15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ijsi/MarczynskiST15
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/AusielloKRS15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/AusielloKRS15
Giorgio Ausiello, Lila Kari, Grzegorz Rozenberg, Donald Sannella:
TCS in the 21st century. Theor. Comput. Sci. 591: 3-4 (2015)
[c48]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/SannellaT15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/SannellaT15
Donald Sannella, Andrzej Tarlecki:
The Foundational Legacy of ASL. Software, Services, and Systems 2015: 253-272
[c47]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/Ibanez-GarciaMS15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/Ibanez-GarciaMS15
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]
- view
  - table of contents in dblp
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/2015-1
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/2015-1
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]
- view
  - table of contents in dblp
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/2015-2
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/2015-2
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mscs/SannellaT14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mscs/SannellaT14
Donald Sannella, Andrzej Tarlecki:
Property-oriented semantics of structured specifications. Mathematical Structures in Computer Science 24(2) (2014)
[c46]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/MossakowskiPST14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/MossakowskiPST14
Till Mossakowski, Wieslaw Pawlowski, Donald Sannella, Andrzej Tarlecki:
Parchments for CafeOBJ Logics. Specification, Algebra, and Software 2014: 66-91
2012
[b2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - books/daglib/0028275
- ask others
- share record
  short URL:
  - https://dblp.org/rec/books/daglib/0028275
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tgc/AspinallAMS10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tgc/AspinallAMS10
David Aspinall, Robert Atkey, Kenneth MacKenzie, Donald Sannella:
Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode. TGC 2010: 1-22

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2008
[j24]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mscs/BidoitST08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mscs/BidoitST08
Michel Bidoit, Donald Sannella, Andrzej Tarlecki:
Observational interpretation of Casl specifications. Mathematical Structures in Computer Science 18(2): 325-371 (2008)
[j23]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/MontanariS08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/MontanariS08
Ugo Montanari, Donald Sannella:
Preface. Theor. Comput. Sci. 402(2-3): 81 (2008)
[c44]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/SannellaT08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/SannellaT08
Donald Sannella, Andrzej Tarlecki:
Observability Concepts in Abstract Data Type Specification, 30 Years Later. Concurrency, Graphs and Models 2008: 593-617
2007
[j22]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/SannellaS07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/SannellaS07
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]
- view
  - table of contents in dblp
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tgc/2006
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tgc/2006
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/Sannella06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/Sannella06
Donald Sannella:
Preface. Theor. Comput. Sci. 350(2-3): 163 (2006)
[c43]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/SannellaT06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/SannellaT06
Donald Sannella, Andrzej Tarlecki:
Horizontal Composability Revisited. Essays Dedicated to Joseph A. Goguen 2006: 296-316
2005
[c42]
- no documents available
- export record
  dblp key:
  - conf/sfp/SannellaHAGSBLMMS05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sfp/SannellaHAGSBLMMS05
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cassis/AspinallGHSS04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cassis/AspinallGHSS04
David Aspinall, Stephen Gilmore, Martin Hofmann, Donald Sannella, Ian Stark:
Mobile Resource Guarantees for Smart Devices. CASSIS 2004: 1-26
[c40]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wadt/MossakowskiST04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wadt/MossakowskiST04
Till Mossakowski, Donald Sannella, Andrzej Tarlecki:
A Simple Refinement Language for Casl. WADT 2004: 162-185
[e4]
- view
  - table of contents in dblp
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icalp/2004
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icalp/2004
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]
- view
  - electronic edition @ sav.sk
- export record
  dblp key:
  - journals/cai/MossakowskiHST03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/cai/MossakowskiHST03
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/HannayKS03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/HannayKS03
Jo Erskine Hannay, Shin-ya Katsumata, Donald Sannella:
Semantic and Syntactic Approaches to Simulation Relations. MFCS 2003: 68-91
2002
[j19]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fac/RydeheardS02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fac/RydeheardS02
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fac/BidoitST02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fac/BidoitST02
Michel Bidoit, Donald Sannella, Andrzej Tarlecki:
Architectural Specifications in CASL. Formal Asp. Comput. 13(3-5): 252-273 (2002)
[j17]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/iandc/HonsellS02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/iandc/HonsellS02
Furio Honsell, Donald Sannella:
Prelogical Relations. Inf. Comput. 178(1): 23-43 (2002)
[j16]
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - journals/tcs/AstesianoBKKMST02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/AstesianoBKKMST02
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/amast/AspinallS02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/amast/AspinallS02
David Aspinall, Donald Sannella:
From Specifications to Code in CASL. AMAST 2002: 1-14
[c37]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/BidoitST02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/BidoitST02
Michel Bidoit, Donald Sannella, Andrzej Tarlecki:
Global Development via Local Observational Construction Steps. MFCS 2002: 1-24
[c36]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/MachadoS02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/MachadoS02
Patrícia D. L. Machado, Donald Sannella:
Unit Testing for CASL Architectural Specifications. MFCS 2002: 506-518
[c35]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rissef/BidoitST02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rissef/BidoitST02
Michel Bidoit, Donald Sannella, Andrzej Tarlecki:
Toward Component-Oriented Formal Software Development: An Algebraic Approach. RISSEF 2002: 75-90
2001
[j15]
- no documents available
- export record
  dblp key:
  - journals/tcs/AusielloSM01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/AusielloSM01
Giorgio Ausiello, Donald Sannella, Michael W. Mislove:
25 Years. Theor. Comput. Sci. 250(1-2) (2001)
[c34]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wadt/Sannella01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wadt/Sannella01
Donald Sannella:
The Common Framework Initiative for Algebraic Specification and Development of Software: Recent Progress. WADT 2001: 328-344
2000
[c33]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/HonsellLST00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/HonsellLST00
Furio Honsell, John Longley, Donald Sannella, Andrzej Tarlecki:
Constructive Data Refinement in Typed Lambda Calculus. FoSSaCS 2000: 161-176
[c32]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icalp/PlotkinPST00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icalp/PlotkinPST00
Gordon D. Plotkin, John Power, Donald Sannella, Robert D. Tennent:
Lax Logical Relations. ICALP 2000: 85-102

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[j14]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/csur/SannellaT99
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/csur/SannellaT99
Donald Sannella, Andrzej Tarlecki:
Algebraic Methods for Specification and Formal Development of Programs. ACM Comput. Surv. 31(3es): 10 (1999)
[c31]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/HonsellS99
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/HonsellS99
Furio Honsell, Donald Sannella:
Pre-logical Relations. CSL 1999: 546-561
[c30]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ershov/Sannella99
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ershov/Sannella99
Donald Sannella:
The Common Framework Initiative for Algebraic Specification and Development of Software. Ershov Memorial Conference 1999: 1-9
[c29]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lopstr/Sannella99
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lopstr/Sannella99
Donald Sannella:
Algebraic Specification and Program Development by Stepwise Refinement. LOPSTR 1999: 1-9
[p3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - series/ifip/SannellaT99
- ask others
- share record
  short URL:
  - https://dblp.org/rec/series/ifip/SannellaT99
Donald Sannella, Andrzej Tarlecki:
Algebraic Preliminaries. Algebraic Foundations of Systems Specification 1999: 13-30
[p2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - series/ifip/SannellaW99
- ask others
- share record
  short URL:
  - https://dblp.org/rec/series/ifip/SannellaW99
Donald Sannella, Martin Wirsing:
Specification Languages. Algebraic Foundations of Systems Specification 1999: 243-272
1998
[c28]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/amast/BidoitST98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/amast/BidoitST98
Michel Bidoit, Donald Sannella, Andrzej Tarlecki:
Architectural Specifications in CASL. AMAST 1998: 341-357
[c27]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fase/KahrsS98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fase/KahrsS98
Stefan Kahrs, Donald Sannella:
Reflections on the Design of a Specification language. FASE 1998: 154-170
1997
[j13]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fac/SannellaT97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fac/SannellaT97
Donald Sannella, Andrzej Tarlecki:
Essential Concepts of Algebraic Specification and Program Development. Formal Asp. Comput. 9(3): 229-269 (1997)
[j12]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/KahrsST97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/KahrsST97
Stefan Kahrs, Donald Sannella, Andrzej Tarlecki:
The Definition of Extended ML: A Gentle Introduction. Theor. Comput. Sci. 173(2): 445-484 (1997)
[c26]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tapsoft/Sanella97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tapsoft/Sanella97
Donald Sannella:
What Does the Future Hold for Theoretical Computer Science? TAPSOFT 1997: 15-19
1996
[j11]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/HofmannS96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/HofmannS96
Martin Hofmann, Donald Sannella:
On Behavioural Abstraction and Behavioural Satisfaction in Higher-Order Logic. Theor. Comput. Sci. 167(1&2): 3-45 (1996)
[c25]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/SannellaT96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/SannellaT96
Donald Sannella, Andrzej Tarlecki:
Mind the Gap! Abstract Versus Concrete Models of Specifications. MFCS 1996: 114-134
1995
[j10]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/Sannella95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/Sannella95
Donald Sannella:
Foreword: Selected Papers of ESOP'94. Sci. Comput. Program. 25(2-3): 79-80 (1995)
[c24]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tapsoft/HofmannS95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tapsoft/HofmannS95
Martin Hofmann, Donald Sannella:
On Behavioral Abstraction and Behavioural Satisfaction in Higher-Order Logic. TAPSOFT 1995: 247-261
1994
[j9]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/apal/HarperST94
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/apal/HarperST94
Robert Harper, Donald Sannella, Andrzej Tarlecki:
Structured Theory Presentations and Logic Representations. Ann. Pure Appl. Logic 67(1-3): 113-160 (1994)
[c23]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/idl/KahrsST94
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/idl/KahrsST94
Stefan Kahrs, Donald Sannella, Andrzej Tarlecki:
Interfaces and Extended ML. Workshop on Interface Definition Languages 1994: 111-118
[e3]
- view
  - table of contents in dblp
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esop/1994
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esop/1994
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]
- no documents available
- export record
  dblp key:
  - conf/sosl/KahrsST93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sosl/KahrsST93
Stefan Kahrs, Donald Sannella, Andrzej Tarlecki:
The Semantics of Extended ML: A Gentle Introduction. Semantics of Specification Languages 1993: 186-215
[p1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - series/wsscs/SannellaT93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/series/wsscs/SannellaT93
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/acta/SannellaST92
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/acta/SannellaST92
Donald Sannella, Stefan Sokolowski, Andrzej Tarlecki:
Toward Formal Development of Programs from Algebraic Specifications: Parameterisation Revisited. Acta Inf. 29(8): 689-736 (1992)
[j7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jlp/SannellaW92
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jlp/SannellaW92
Donald Sannella, Lincoln A. Wallen:
A Calculus for the Construction of Modular Prolog Programs. J. Log. Program. 12(1&2): 147-177 (1992)
[c21]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icalp/SannellaT92
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icalp/SannellaT92
Donald Sannella, Andrzej Tarlecki:
Towards Formal Development of Programs from Algebraic Specifications: Model-Theoretic Foundations. ICALP 1992: 656-671
1991
[c20]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tapsoft/Krieg-BrucknerS91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tapsoft/Krieg-BrucknerS91
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - books/sp/BidoitKLOS91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/books/sp/BidoitKLOS91
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]
- no documents available
- export record
  dblp key:
  - journals/eatcs/SanellaT90
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/eatcs/SanellaT90
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/adt/SannellaT90
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/adt/SannellaT90
Donald Sannella, Andrzej Tarlecki:
A Kernel Specification Formalism with Higher-Order Parameterization. ADT 1990: 274-296
[c18]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/adt/SannellaT90a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/adt/SannellaT90a
Donald Sannella, Andrzej Tarlecki:
Extended ML: Past, Present, and Future. ADT 1990: 297-322

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1989
[c17]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ctcs/HarperST89
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ctcs/HarperST89
Robert Harper, Donald Sannella, Andrzej Tarlecki:
Logic Representation in LF. Category Theory and Computer Science 1989: 250-272
[c16]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/lics/HarperST89
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/HarperST89
Robert Harper, Donald Sannella, Andrzej Tarlecki:
Structure and Representation in LF. LICS 1989: 226-237
[c15]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tapsoft/SannellaT89
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tapsoft/SannellaT89
Donald Sannella, Andrzej Tarlecki:
Toward Formal Development of ML Programs: Foundations and Methodology (Extended Abstract). TAPSOFT, Vol.2 1989: 375-389
1988
[j5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/acta/SannellaT88
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/acta/SannellaT88
Donald Sannella, Andrzej Tarlecki:
Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited. Acta Inf. 25(3): 233-281 (1988)
[j4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/iandc/SannellaT88
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/iandc/SannellaT88
Donald Sannella, Andrzej Tarlecki:
Specifications in an Arbitrary Institution. Inf. Comput. 76(2/3): 165-210 (1988)
[c14]
- no documents available
- export record
  dblp key:
  - conf/adt/SannellaT88
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/adt/SannellaT88
Donald Sannella, Andrzej Tarlecki:
Formal Development of ML Programs: Methodological Aspects. ADT 1988
1987
[j3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jcss/SannellaT87
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jcss/SannellaT87
Donald Sannella, Andrzej Tarlecki:
On Observational Equivalence and Algebraic Specification. J. Comput. Syst. Sci. 34(2/3): 150-178 (1987)
[c13]
- no documents available
- export record
  dblp key:
  - conf/slp/SannellaW87
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/slp/SannellaW87
Donald Sannella, Lincoln A. Wallen:
A Calculus for the Construction of Modular Prolog Programs. SLP 1987: 368-378
[c12]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tapsoft/SannellaT87
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tapsoft/SannellaT87
Donald Sannella, Andrzej Tarlecki:
Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited (Extended Abstract). TAPSOFT, Vol.1 1987: 96-110
[e1]
- view
  - table of contents in dblp
  - electronic edition via DOI
- export record
  dblp key:
  - conf/adt/1987
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/adt/1987
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]
- no documents available
- export record
  dblp key:
  - conf/adt/SannellaT86
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/adt/SannellaT86
Donald Sannella, Andrzej Tarlecki:
Extended ML: An Institution-Independent Framework for Formal Program Development. ADT 1986
1985
[j2]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - journals/tse/MacQueenS85
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tse/MacQueenS85
David B. MacQueen, Donald Sannella:
Completeness of Proof Systems for Equational Specifications. IEEE Trans. Software Eng. 11(5): 454-461 (1985)
[c10]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ctcs/SannellaT85
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ctcs/SannellaT85
Donald Sannella, Andrzej Tarlecki:
Extended ML: an Institution - Independent Framework for Formal Program Development. CTCS 1985: 364-389
[c9]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/SannellaT85
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/SannellaT85
Donald Sannella, Andrzej Tarlecki:
Program Specification and Development in Standard ML. POPL 1985: 67-77
[c8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tapsoft/SannellaT85
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tapsoft/SannellaT85
Donald Sannella, Andrzej Tarlecki:
On Observational Equivalence and Algebraic Specification. TAPSOFT, Vol.1 1985: 308-322
1984
[j1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/acta/Sannella84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/acta/Sannella84
Donald Sannella:
A Set-Theoretic Semantics for Clear. Acta Inf. 21: 443-472 (1984)
[c7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/adt/SannellaT84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/adt/SannellaT84
Donald Sannella, Andrzej Tarlecki:
Some Thoughts on Algebraic Specification. ADT 1984: 31-38
[c6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sdt/SannellaT84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sdt/SannellaT84
Donald Sannella, Andrzej Tarlecki:
Building Specifications in an Arbitrary Institution. Semantics of Data Types 1984: 337-356
1983
[c5]
- no documents available
- export record
  dblp key:
  - conf/adt/SannellaW83
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/adt/SannellaW83
Donald Sannella, Martin Wirsing:
A Kernel Language for Algebraic Specification and Implementation. ADT 1983
[c4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/caap/SannellaB83
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/caap/SannellaB83
Donald Sannella, Rod M. Burstall:
Structured Theories in LCF. CAAP 1983: 377-391
[c3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/SannellaW83
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/SannellaW83
Donald Sannella, Martin Wirsing:
A Kernel Language for Algebraic Specification and Implementation - Extended Abstract. FCT 1983: 413-427
1982
[b1]
- view
  - electronic edition via handle.net
  - electronic edition @ bl.uk
- export record
  dblp key:
  - phd/ethos/Sannella82
- ask others
- share record
  short URL:
  - https://dblp.org/rec/phd/ethos/Sannella82
Donald Sannella:
Semantics, implementation and pragmatics of Clear, a program specification language. University of Edinburgh, UK 1982
[c2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icalp/SannellaW82
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icalp/SannellaW82
Donald Sannella, Martin Wirsing:
Implementation of Parameterised Specifications (Extended Abstract). ICALP 1982: 473-488
1980
[c1]
- no documents available
- export record
  dblp key:
  - conf/lfp/BurstallMS80
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lfp/BurstallMS80
Rod M. Burstall, David B. MacQueen, Donald Sannella:
HOPE: An Experimental Applicative Language. LISP Conference 1980: 136-143

Coauthor Index

see FAQ

maintained by

, founded at