dblp.uni-trier.dewww.uni-trier.de

Donald Sannella Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2008
73EEDonald Sannella, Andrzej Tarlecki: Observability Concepts in Abstract Data Type Specification, 30 Years Later. Concurrency, Graphs and Models 2008: 593-617
72EEMichel Bidoit, Donald Sannella, Andrzej Tarlecki: Observational interpretation of Casl specifications. Mathematical Structures in Computer Science 18(2): 325-371 (2008)
71EEUgo Montanari, Donald Sannella: Preface. Theor. Comput. Sci. 402(2-3): 81 (2008)
2007
70 Ugo Montanari, Donald Sannella, Roberto Bruni: Trustworthy Global Computing, Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers Springer 2007
69EEDonald 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)
2006
68EEDonald Sannella, Andrzej Tarlecki: Horizontal Composability Revisited. Essays Dedicated to Joseph A. Goguen 2006: 296-316
67EEDonald Sannella: Preface. Theor. Comput. Sci. 350(2-3): 163 (2006)
2005
66 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
65 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 Springer 2004
64EEDavid Aspinall, Stephen Gilmore, Martin Hofmann, Donald Sannella, Ian Stark: Mobile Resource Guarantees for Smart Devices. CASSIS 2004: 1-26
63EETill Mossakowski, Donald Sannella, Andrzej Tarlecki: A Simple Refinement Language for Casl. WADT 2004: 162-185
2003
62EEJo Erskine Hannay, Shin-ya Katsumata, Donald Sannella: Semantic and Syntactic Approaches to Simulation Relations. MFCS 2003: 68-91
61 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): (2003)
2002
60EEDavid Aspinall, Donald Sannella: From Specifications to Code in CASL. AMAST 2002: 1-14
59EEMichel Bidoit, Donald Sannella, Andrzej Tarlecki: Global Development via Local Observational Construction Steps. MFCS 2002: 1-24
58EEPatrícia D. L. Machado, Donald Sannella: Unit Testing for C88 ASL Architectural Specifications. MFCS 2002: 506-518
57EEMichel Bidoit, Donald Sannella, Andrzej Tarlecki: Toward Component-Oriented Formal Software Development: An Algebraic Approach. RISSEF 2002: 75-90
56EEDavid 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)
55EEMichel Bidoit, Donald Sannella, Andrzej Tarlecki: Architectural Specifications in CASL. Formal Asp. Comput. 13(3-5): 252-273 (2002)
54EEFurio Honsell, Donald Sannella: Prelogical Relations. Inf. Comput. 178(1): 23-43 (2002)
53 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)
2001
52EEDonald Sannella: The Common Framework Initiative for Algebraic Specification and Development of Software: Recent Progress. WADT 2001: 328-344
51 Giorgio Ausiello, Donald Sannella, Michael W. Mislove: 25 Years. Theor. Comput. Sci. 250(1-2): (2001)
2000
50EEFurio Honsell, John Longley, Donald Sannella, Andrzej Tarlecki: Constructive Data Refinement in Typed Lambda Calculus. FoSSaCS 2000: 161-176
49EEGordon D. Plotkin, John Power, Donald Sannella, Robert D. Tennent: Lax Logical Relations. ICALP 2000: 85-102
1999
48EEFurio Honsell, Donald Sannella: Pre-logical Relations. CSL 1999: 546-561
47EEDonald Sannella: The Common Framework Initiative for Algebraic Specification and Development of Software. Ershov Memorial Conference 1999: 1-9
46 Donald Sannella: Algebraic Specification and Program Development by Stepwise Refinement. LOPSTR 1999: 1-9
45EEDonald Sannella, Andrzej Tarlecki: Algebraic Methods for Specification and Formal Development of Programs. ACM Comput. Surv. 31(3es): 10 (1999)
1998
44EEMichel Bidoit, Donald Sannella, Andrzej Tarlecki: Architectural Specifications in CASL. AMAST 1998: 341-357
43EEStefan Kahrs, Donald Sannella: Reflections on the Design of a Specification language. FASE 1998: 154-170
1997
42EEDonald Sannella: What Does the Future Hold for Theoretical Computer Science? TAPSOFT 1997: 15-19
41 Donald Sannella, Andrzej Tarlecki: Essential Concepts of Algebraic Specification and Program Development. Formal Asp. Comput. 9(3): 229-269 (1997)
40EEStefan Kahrs, Donald Sannella, Andrzej Tarlecki: The Definition of Extended ML: A Gentle Introduction. Theor. Comput. Sci. 173(2): 445-484 (1997)
1996
39EEDonald Sannella, Andrzej Tarlecki: Mind the Gap! Abstract Versus Concrete Models of Specifications. MFCS 1996: 114-134
38EEMartin Hofmann, Donald Sannella: On Behavioural Abstraction and Behavioural Satisfaction in Higher-Order Logic. Theor. Comput. Sci. 167(1&2): 3-45 (1996)
1995
37EEMartin Hofmann, Donald Sannella: On Behavioral Abstraction and Behavioural Satisfaction in Higher-Order Logic. TAPSOFT 1995: 247-261
36 Donald Sannella: Foreword: Selected Papers of ESOP'94. Sci. Comput. Program. 25(2-3): 79-80 (1995)
1994
35 Donald Sannella: Programming Languages and Systems - ESOP'94, 5th European Symposium on Programming, Edinburgh, U.K., April 11-13, 1994, Proceedings Springer 1994
34 Stefan Kahrs, Donald Sannella, Andrzej Tarlecki: Interfaces and Extended ML. Workshop on Interface Definition Languages 1994: 111-118
33 Robert Harper, Donald Sannella, Andrzej Tarlecki: Structured Theory Presentations and Logic Representations. Ann. Pure Appl. Logic 67(1-3): 113-160 (1994)
1993
32 Stefan Kahrs, Donald Sannella, Andrzej Tarlecki: The Semantics of Extended ML: A Gentle Introduction. Semantics of Specification Languages 1993: 186-215
1992
31EEDonald Sannella, Andrzej Tarlecki: Towards Formal Development of Programs from Algebraic Specifications: Model-Theoretic Foundations. ICALP 1992: 656-671
30 Donald Sannella, Stefan Sokolowski, Andrzej Tarlecki: Toward Formal Development of Programs from Algebraic Specifications: Parameterisation Revisited. Acta Inf. 29(8): 689-736 (1992)
29 Donald Sannella, Lincoln A. Wallen: A Calculus for the Construction of Modular Prolog Programs. J. Log. Program. 12(1&2): 147-177 (1992)
1991
28 Michel Bidoit, Hans-Jörg Kreowski, Pierre Lescanne, Fernando Orejas, Donald Sannella: Algebraic System Specification and Development - A Survey and Annotated Bibliography Springer 1991
27EEBernd 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
1990
26 Donald Sannella, Andrzej Tarlecki: A Kernel Specification Formalism with Higher-Order Parameterization. ADT 1990: 274-296
25 Donald Sannella, Andrzej Tarlecki: Extended ML: Past, Present, and Future. ADT 1990: 297-322
24 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)
1989
23 Robert Harper, Donald Sannella, Andrzej Tarlecki: Logic Representation in LF. Category Theory and Computer Science 1989: 250-272
22 Robert Harper, Donald Sannella, Andrzej Tarlecki: Structure and Representation in LF LICS 1989: 226-237
21EEDonald Sannella, Andrzej Tarlecki: Toward Formal Development of ML Programs: Foundations and Methodology (Extended Abstract). TAPSOFT, Vol.2 1989: 375-389
1988
20 Donald Sannella, Andrzej Tarlecki: Formal Development of ML Programs: Methodological Aspects. ADT 1988
19 Donald Sannella, Andrzej Tarlecki: Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited. Acta Inf. 25(3): 233-281 (1988)
18 Donald Sannella, Andrzej Tarlecki: Specifications in an Arbitrary Institution Inf. Comput. 76(2/3): 165-210 (1988)
1987
17 Donald Sannella, Andrzej Tarlecki: Recent Trends in Data Type Specification, 5th Workshop on Abstract Data Types, Gullane, Scotland, September 1-4, 1987, Selected Papers Springer 1987
16 Donald Sannella, Lincoln A. Wallen: A Calculus for the Construction of Modular Prolog Programs. SLP 1987: 368-378
15EEDonald Sannella, Andrzej Tarlecki: Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited (Extended Abstract). TAPSOFT, Vol.1 1987: 96-110
14 Donald Sannella, Andrzej Tarlecki: On Observational Equivalence and Algebraic Specification. J. Comput. Syst. Sci. 34(2/3): 150-178 (1987)
1986
13 Donald Sannella, Andrzej Tarlecki: Extended ML: An Institution-Independent Framework for Formal Program Development. ADT 1986
1985
12 Donald Sannella, Andrzej Tarlecki: Extended ML: an Institution - Independent Framework for Formal Program Development. CTCS 1985: 364-389
11 Donald Sannella, Andrzej Tarlecki: Program Specification and Development in Standard ML. POPL 1985: 67-77
10EEDonald Sannella, Andrzej Tarlecki: On Observational Equivalence and Algebraic Specification. TAPSOFT, Vol.1 1985: 308-322
9 David B. MacQueen, Donald Sannella: Completeness of Proof Systems for Equational Specifications. IEEE Trans. Software Eng. 11(5): 454-461 (1985)
1984
8 Donald Sannella, Andrzej Tarlecki: Some Thoughts on Algebraic Specification. ADT 1984: 31-38
7 Donald Sannella, Andrzej Tarlecki: Building Specifications in an Arbritrary Institution. Semantics of Data Types 1984: 337-356
6 Donald Sannella: A Set-Theoretic Semantics for Clear. Acta Inf. 21: 443-472 (1984)
1983
5 Donald Sannella, Martin Wirsing: A Kernel Language for Algebraic Specification and Implementation. ADT 1983
4EEDonald Sannella, Rod M. Burstall: Structured Theories in LCF. CAAP 1983: 377-391
3 Donald Sannella, Martin Wirsing: A Kernel Language for Algebraic Specification and Implementation - Extended Abstract. FCT 1983: 413-427
1982
2EEDonald Sannella, Martin Wirsing: Implementation of Parameterised Specifications (Extended Abstract). ICALP 1982: 473-488
1980
1 Rod M. Burstall, David B. MacQueen, Donald Sannella: HOPE: An Experimental Applicative Language. LISP Conference 1980: 136-143

Coauthor Index

1David Aspinall [60] [64] [66]
2Egidio Astesiano [53]
3Giorgio Ausiello [51]
4Lennart Beringer [66]
5Michel Bidoit [28] [44] [53] [55] [57] [59] [72]
6Roberto Bruni [70]
7Rod M. Burstall [1] [4]
8Josep Díaz [65]
9Stephen Gilmore (Stephen T. Gilmore) [64] [66]
10Jo Erskine Hannay [62]
11Robert Harper [22] [23] [33]
12Anne Elisabeth Haxthausen [61]
13Martin Hofmann [37] [38] [64] [66]
14Furio Honsell [48] [50] [54]
15Stefan Kahrs [32] [34] [40] [43]
16Juhani Karhumäki [65]
17Shin-ya Katsumata [62]
18Hélène Kirchner [53]
19Hans-Jörg Kreowski [28]
20Bernd Krieg-Brückner [27] [53]
21Arto Lepistö [65]
22Pierre Lescanne [28]
23Hans-Wolfgang Loidl [66]
24John Longley [50]
25Kenneth MacKenzie [66]
26David B. MacQueen [1] [9]
27Patrícia D. L. Machado [58]
28Michael W. Mislove [51]
29Alberto Momigliano [66]
30Ugo Montanari [70] [71]
31Till Mossakowski [61] [63]
32Peter D. Mosses [53]
33Fernando Orejas [28]
34Gordon D. Plotkin [49]
35John Power (A. John Power) [49]
36David E. Rydeheard [56]
37Vladimiro Sassone [69]
38Olha Shkaravska [66]
39Stefan Sokolowski [30]
40Ian Stark [64] [66]
41Andrzej Tarlecki [7] [8] [10] [11] [12] [13] [14] [15] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [30] [31] [32] [33] [34] [39] [40] [41] [44] [45] [50] [53] [55] [57] [59] [61] [63] [68] [72] [73]
42Robert D. Tennent [49]
43Lincoln A. Wallen [16] [29]
44Martin Wirsing [2] [3] [5]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)