2008 | ||
---|---|---|
73 | EE | Donald Sannella, Andrzej Tarlecki: Observability Concepts in Abstract Data Type Specification, 30 Years Later. Concurrency, Graphs and Models 2008: 593-617 |
72 | EE | Michel Bidoit, Donald Sannella, Andrzej Tarlecki: Observational interpretation of Casl specifications. Mathematical Structures in Computer Science 18(2): 325-371 (2008) |
71 | EE | Ugo 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 | |
69 | EE | 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) |
2006 | ||
68 | EE | Donald Sannella, Andrzej Tarlecki: Horizontal Composability Revisited. Essays Dedicated to Joseph A. Goguen 2006: 296-316 |
67 | EE | Donald 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 | |
64 | EE | David Aspinall, Stephen Gilmore, Martin Hofmann, Donald Sannella, Ian Stark: Mobile Resource Guarantees for Smart Devices. CASSIS 2004: 1-26 |
63 | EE | Till Mossakowski, Donald Sannella, Andrzej Tarlecki: A Simple Refinement Language for Casl. WADT 2004: 162-185 |
2003 | ||
62 | EE | Jo 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 | ||
60 | EE | David Aspinall, Donald Sannella: From Specifications to Code in CASL. AMAST 2002: 1-14 |
59 | EE | Michel Bidoit, Donald Sannella, Andrzej Tarlecki: Global Development via Local Observational Construction Steps. MFCS 2002: 1-24 |
58 | EE | Patrícia D. L. Machado, Donald Sannella: Unit Testing for C88 ASL Architectural Specifications. MFCS 2002: 506-518 |
57 | EE | Michel Bidoit, Donald Sannella, Andrzej Tarlecki: Toward Component-Oriented Formal Software Development: An Algebraic Approach. RISSEF 2002: 75-90 |
56 | EE | 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) |
55 | EE | Michel Bidoit, Donald Sannella, Andrzej Tarlecki: Architectural Specifications in CASL. Formal Asp. Comput. 13(3-5): 252-273 (2002) |
54 | EE | Furio 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 | ||
52 | EE | Donald 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 | ||
50 | EE | Furio Honsell, John Longley, Donald Sannella, Andrzej Tarlecki: Constructive Data Refinement in Typed Lambda Calculus. FoSSaCS 2000: 161-176 |
49 | EE | Gordon D. Plotkin, John Power, Donald Sannella, Robert D. Tennent: Lax Logical Relations. ICALP 2000: 85-102 |
1999 | ||
48 | Furio Honsell, Donald Sannella: Pre-logical Relations. CSL 1999: 546-561 | |
47 | EE | Donald 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 | |
45 | EE | Donald Sannella, Andrzej Tarlecki: Algebraic Methods for Specification and Formal Development of Programs. ACM Comput. Surv. 31(3es): 10 (1999) |
1998 | ||
44 | EE | Michel Bidoit, Donald Sannella, Andrzej Tarlecki: Architectural Specifications in CASL. AMAST 1998: 341-357 |
43 | EE | Stefan Kahrs, Donald Sannella: Reflections on the Design of a Specification language. FASE 1998: 154-170 |
1997 | ||
42 | Donald 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) | |
40 | EE | Stefan Kahrs, Donald Sannella, Andrzej Tarlecki: The Definition of Extended ML: A Gentle Introduction. Theor. Comput. Sci. 173(2): 445-484 (1997) |
1996 | ||
39 | Donald Sannella, Andrzej Tarlecki: Mind the Gap! Abstract Versus Concrete Models of Specifications. MFCS 1996: 114-134 | |
38 | EE | Martin Hofmann, Donald Sannella: On Behavioural Abstraction and Behavioural Satisfaction in Higher-Order Logic. Theor. Comput. Sci. 167(1&2): 3-45 (1996) |
1995 | ||
37 | Martin 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 | ||
31 | Donald 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 | |
27 | 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 | |
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 | |
21 | Donald 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 | |
15 | Donald 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 | |
10 | Donald 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 | |
4 | Donald 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 | ||
2 | Donald 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 |