Donald Sannella

100 papers A* 7A 1B 8C 1Journal 36Unranked 35

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Rod Burstall: In Memoriam. Formal Aspects Comput. J Strother Moore, Gordon D. Plotkin, David E. Rydeheard, Donald Sannella
2025	J	`jnl`	Rod Bustall: In Memoriam. CoRR J Strother Moore, Gordon D. Plotkin, David E. Rydeheard, Donald Sannella
2022	J	`jnl`	Preface for the special issue in homage to Martin Hofmann Part 2. Math. Struct. Comput. Sci. Jan Hoffmann, Donald Sannella, Ulrich Schöpp
2021	—	`book`	Introduction to Computation - Haskell, Logic and Automata Donald Sannella, Michael Fourman, Haoran Peng, Philip Wadler
2021	J	`jnl`	Preface for the special issue in homage to Martin Hofmann Part 1. Math. Struct. Comput. Sci. Jan Hoffmann, Donald Sannella, Ulrich Schöpp
2020	J	`jnl`	Preface. Theor. Comput. Sci. Giorgio Ausiello, Lila Kari, Grzegorz Rozenberg, Donald Sannella, Paul G. Spirakis, Pierre-Louis Curien
2019	J	`jnl`	A Key to Your Heart: Biometric Authentication Based on ECG Signals. CoRR Nikita Samarin, Donald Sannella
2019	J	`jnl`	Preface. Theor. Comput. Sci. Giorgio Ausiello, Lila Kari, Grzegorz Rozenberg, Donald Sannella, Paul G. Spirakis, Pierre-Louis Curien
2018	A*	`ed.`	45th International Colloquium on Automata, Languages, and Programming, ICALP 2018, Prague, Czech Republic, July 9-13, 2018 ICALP Ioannis Chatzigiannakis, Christos Kaklamanis, Dániel Marx, Donald Sannella
2018	—	`conf`	On Normal Forms for Structured Specifications with Generating Constraints. Graph Transformation, Specifications, and Nets Donald Sannella, Andrzej Tarlecki
2017	J	`jnl`	Specification refinements: Calculi, tools, and applications. Sci. Comput. Program. Mihai Codescu, Till Mossakowski, Donald Sannella, Andrzej Tarlecki
2016	—	`ed.`	A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday A List of Successes That Can Change the World Sam Lindley, Conor McBride, Philip W. Trinder, Donald Sannella
2015	J	`jnl`	Algebraic Constructions: A Simple Framework for Complex Dependencies and Parameterisation. Int. J. Softw. Informatics Grzegorz Marczynski, Donald Sannella, Andrzej Tarlecki
2015	—	`ed.`	Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I MFCS (1) Giuseppe F. Italiano, Giovanni Pighizzini, Donald Sannella
2015	—	`ed.`	Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II MFCS (2) Giuseppe F. Italiano, Giovanni Pighizzini, Donald Sannella
2015	—	`conf`	Modularity of Ontologies in an Arbitrary Institution. Logic, Rewriting, and Concurrency Yazmín Angélica Ibáñez-García, Till Mossakowski, Donald Sannella, Andrzej Tarlecki
2015	J	`jnl`	TCS in the 21st century. Theor. Comput. Sci. Giorgio Ausiello, Lila Kari, Grzegorz Rozenberg, Donald Sannella
2015	—	`conf`	The Foundational Legacy of ASL. Software, Services, and Systems Donald Sannella, Andrzej Tarlecki
2015	J	`jnl`	ThreadSafe: Static Analysis for Java Concurrency. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Robert Atkey, Donald Sannella
2014	—	`conf`	Parchments for CafeOBJ Logics. Specification, Algebra, and Software Till Mossakowski, Wieslaw Pawlowski, Donald Sannella, Andrzej Tarlecki
2014	J	`jnl`	Property-oriented semantics of structured specifications. Math. Struct. Comput. Sci. Donald Sannella, Andrzej Tarlecki
2012	—	`book`	Foundations of Algebraic Specification and Formal Software Development. Donald Sannella, Andrzej Tarlecki
2010	—	`conf`	Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode. TGC David Aspinall, Robert Atkey, Kenneth MacKenzie, Donald Sannella
2008	—	`conf`	Observability Concepts in Abstract Data Type Specification, 30 Years Later. Concurrency, Graphs and Models Donald Sannella, Andrzej Tarlecki
2008	J	`jnl`	Observational interpretation of Casl specifications. Math. Struct. Comput. Sci. Michel Bidoit, Donald Sannella, Andrzej Tarlecki
2008	J	`jnl`	Preface. Theor. Comput. Sci. Ugo Montanari, Donald Sannella
2007	J	`jnl`	Semantic and logical foundations of global computing: Papers from the EU-FET global computing initiative (2001-2005). Theor. Comput. Sci. Donald Sannella, Vladimiro Sassone
2007	—	`ed.`	Trustworthy Global Computing, Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers TGC Ugo Montanari, Donald Sannella, Roberto Bruni
2006	—	`conf`	Horizontal Composability Revisited. Essays Dedicated to Joseph A. Goguen Donald Sannella, Andrzej Tarlecki
2006	J	`jnl`	Preface. Theor. Comput. Sci. Donald Sannella
2005	—	`conf`	Mobile Resource Guarantees (project evaluation paper). Trends in Functional Programming Donald Sannella, Martin Hofmann, David Aspinall, Stephen Gilmore, Ian Stark, Lennart Beringer, Hans-Wolfgang Loidl, Kenneth MacKenzie, Alberto Momigliano, Olha Shkaravska
2004	—	`conf`	A Simple Refinement Language for Casl. WADT Till Mossakowski, Donald Sannella, Andrzej Tarlecki
2004	A*	`ed.`	Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings ICALP Josep Díaz, Juhani Karhumäki, Arto Lepistö, Donald Sannella
2004	—	`conf`	Mobile Resource Guarantees for Smart Devices. CASSIS David Aspinall, Stephen Gilmore, Martin Hofmann, Donald Sannella, Ian Stark
2003	J	`jnl`	Casl - The Common Algebraic Specification Language: Semantics and Proof Theory. Comput. Artif. Intell. Till Mossakowski, Anne E. Haxthausen, Donald Sannella, Andrzej Tarlecki
2003	B	`conf`	Semantic and Syntactic Approaches to Simulation Relations. MFCS Jo Erskine Hannay, Shin-ya Katsumata, Donald Sannella
2002	J	`jnl`	A Collection of Papers and Memoirs Celebrating the Contribution of Rod Burstall to Advances in Computer Science. Formal Aspects Comput. David E. Rydeheard, Donald Sannella
2002	J	`jnl`	Architectural Specifications in CASL. Formal Aspects Comput. Michel Bidoit, Donald Sannella, Andrzej Tarlecki
2002	J	`jnl`	CASL: the Common Algebraic Specification Language. Theor. Comput. Sci. Egidio Astesiano, Michel Bidoit, Hélène Kirchner, Bernd Krieg-Brückner, Peter D. Mosses, Donald Sannella, Andrzej Tarlecki
2002	—	`conf`	From Specifications to Code in CASL. AMAST David Aspinall, Donald Sannella
2002	B	`conf`	Global Development via Local Observational Construction Steps. MFCS Michel Bidoit, Donald Sannella, Andrzej Tarlecki
2002	J	`jnl`	Prelogical Relations. Inf. Comput. Furio Honsell, Donald Sannella
2002	—	`conf`	Toward Component-Oriented Formal Software Development: An Algebraic Approach. RISSEF Michel Bidoit, Donald Sannella, Andrzej Tarlecki
2002	B	`conf`	Unit Testing for CASL Architectural Specifications. MFCS Patrícia D. L. Machado, Donald Sannella
2001	J	`jnl`	25 Years. Theor. Comput. Sci. Giorgio Ausiello, Donald Sannella, Michael W. Mislove
2001	—	`conf`	The Common Framework Initiative for Algebraic Specification and Development of Software: Recent Progress. WADT Donald Sannella
2000	B	`conf`	Constructive Data Refinement in Typed Lambda Calculus. FoSSaCS Furio Honsell, John Longley, Donald Sannella, Andrzej Tarlecki
2000	A*	`conf`	Lax Logical Relations. ICALP Gordon D. Plotkin, John Power, Donald Sannella, Robert D. Tennent
1999	J	`jnl`	Algebraic Methods for Specification and Formal Development of Programs. ACM Comput. Surv. Donald Sannella, Andrzej Tarlecki
1999	—	`ch.`	Algebraic Preliminaries. Algebraic Foundations of Systems Specification Donald Sannella, Andrzej Tarlecki
1999	C	`conf`	Algebraic Specification and Program Development by Stepwise Refinement. LOPSTR Donald Sannella
1999	B	`conf`	Pre-logical Relations. CSL Furio Honsell, Donald Sannella
1999	—	`ch.`	Specification Languages. Algebraic Foundations of Systems Specification Donald Sannella, Martin Wirsing
1999	—	`conf`	The Common Framework Initiative for Algebraic Specification and Development of Software. Ershov Memorial Conference Donald Sannella
1998	—	`conf`	Architectural Specifications in CASL. AMAST Michel Bidoit, Donald Sannella, Andrzej Tarlecki
1998	B	`conf`	Reflections on the Design of a Specification language. FASE Stefan Kahrs, Donald Sannella
1997	J	`jnl`	Essential Concepts of Algebraic Specification and Program Development. Formal Aspects Comput. Donald Sannella, Andrzej Tarlecki
1997	J	`jnl`	The Definition of Extended ML: A Gentle Introduction. Theor. Comput. Sci. Stefan Kahrs, Donald Sannella, Andrzej Tarlecki
1997	—	`conf`	What Does the Future Hold for Theoretical Computer Science? TAPSOFT Donald Sannella
1996	B	`conf`	Mind the Gap! Abstract Versus Concrete Models of Specifications. MFCS Donald Sannella, Andrzej Tarlecki
1996	J	`jnl`	On Behavioural Abstraction and Behavioural Satisfaction in Higher-Order Logic. Theor. Comput. Sci. Martin Hofmann, Donald Sannella
1995	J	`jnl`	Foreword: Selected Papers of ESOP'94. Sci. Comput. Program. Donald Sannella
1995	—	`conf`	On Behavioral Abstraction and Behavioural Satisfaction in Higher-Order Logic. TAPSOFT Martin Hofmann, Donald Sannella
1994	—	`conf`	Interfaces and Extended ML. Workshop on Interface Definition Languages Stefan Kahrs, Donald Sannella, Andrzej Tarlecki
1994	A	`ed.`	Programming Languages and Systems - ESOP'94, 5th European Symposium on Programming, Edinburgh, UK, April 11-13, 1994, Proceedings ESOP Donald Sannella
1994	J	`jnl`	Structured Theory Presentations and Logic Representations. Ann. Pure Appl. Log. Robert Harper, Donald Sannella, Andrzej Tarlecki
1993	—	`ch.`	Algebraic specification and formal methods for program development: what are the real problems? Current Trends in Theoretical Computer Science Donald Sannella, Andrzej Tarlecki
1993	—	`conf`	The Semantics of Extended ML: A Gentle Introduction. Semantics of Specification Languages Stefan Kahrs, Donald Sannella, Andrzej Tarlecki
1992	J	`jnl`	A Calculus for the Construction of Modular Prolog Programs. J. Log. Program. Donald Sannella, Lincoln A. Wallen
1992	J	`jnl`	Toward Formal Development of Programs from Algebraic Specifications: Parameterisation Revisited. Acta Informatica Donald Sannella, Stefan Sokolowski, Andrzej Tarlecki
1992	A*	`conf`	Towards Formal Development of Programs from Algebraic Specifications: Model-Theoretic Foundations. ICALP Donald Sannella, Andrzej Tarlecki
1991	—	`book`	Algebraic System Specification and Development - A Survey and Annotated Bibliography Michel Bidoit, Hans-Jörg Kreowski, Pierre Lescanne, Fernando Orejas, Donald Sannella
1991	—	`conf`	Structuring Specifications in-the-Large and in-the-Small: Higher-Order Functions, Dependent Types and Inheritance in SPECTRAL. TAPSOFT, Vol.2 Bernd Krieg-Brückner, Donald Sannella
1990	—	`conf`	A Kernel Specification Formalism with Higher-Order Parameterization. ADT Donald Sannella, Andrzej Tarlecki
1990	J	`jnl`	Algebraic specification and formal methods for program development: what are the real problems? Bull. EATCS Donald Sannella, Andrzej Tarlecki
1990	—	`conf`	Extended ML: Past, Present, and Future. ADT Donald Sannella, Andrzej Tarlecki
1989	—	`conf`	Logic Representation in LF. Category Theory and Computer Science Robert Harper, Donald Sannella, Andrzej Tarlecki
1989	A*	`conf`	Structure and Representation in LF LICS Robert Harper, Donald Sannella, Andrzej Tarlecki
1989	—	`conf`	Toward Formal Development of ML Programs: Foundations and Methodology (Extended Abstract). TAPSOFT, Vol.2 Donald Sannella, Andrzej Tarlecki
1988	—	`conf`	Formal Development of ML Programs: Methodological Aspects. ADT Donald Sannella, Andrzej Tarlecki
1988	J	`jnl`	Specifications in an Arbitrary Institution Inf. Comput. Donald Sannella, Andrzej Tarlecki
1988	J	`jnl`	Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited. Acta Informatica Donald Sannella, Andrzej Tarlecki
1987	—	`conf`	A Calculus for the Construction of Modular Prolog Programs. SLP Donald Sannella, Lincoln A. Wallen
1987	J	`jnl`	On Observational Equivalence and Algebraic Specification. J. Comput. Syst. Sci. Donald Sannella, Andrzej Tarlecki
1987	—	`ed.`	Recent Trends in Data Type Specification, 5th Workshop on Abstract Data Types, Gullane, Scotland, UK, September 1-4, 1987, Selected Papers ADT Donald Sannella, Andrzej Tarlecki
1987	—	`conf`	Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited (Extended Abstract). TAPSOFT, Vol.1 Donald Sannella, Andrzej Tarlecki
1986	—	`conf`	Extended ML: An Institution-Independent Framework for Formal Program Development. ADT Donald Sannella, Andrzej Tarlecki
1985	J	`jnl`	Completeness of Proof Systems for Equational Specifications. IEEE Trans. Software Eng. David B. MacQueen, Donald Sannella
1985	—	`conf`	Extended ML: an Institution - Independent Framework for Formal Program Development. CTCS Donald Sannella, Andrzej Tarlecki
1985	—	`conf`	On Observational Equivalence and Algebraic Specification. TAPSOFT, Vol.1 Donald Sannella, Andrzej Tarlecki
1985	A*	`conf`	Program Specification and Development in Standard ML. POPL Donald Sannella, Andrzej Tarlecki
1984	J	`jnl`	A Set-Theoretic Semantics for Clear. Acta Informatica Donald Sannella
1984	—	`conf`	Building Specifications in an Arbitrary Institution. Semantics of Data Types Donald Sannella, Andrzej Tarlecki
1984	—	`conf`	Some Thoughts on Algebraic Specification. ADT Donald Sannella, Andrzej Tarlecki
1983	B	`conf`	A Kernel Language for Algebraic Specification and Implementation - Extended Abstract. FCT Donald Sannella, Martin Wirsing
1983	—	`conf`	A Kernel Language for Algebraic Specification and Implementation. ADT Donald Sannella, Martin Wirsing
1983	—	`conf`	Structured Theories in LCF. CAAP Donald Sannella, Rod M. Burstall
1982	A*	`conf`	Implementation of Parameterised Specifications (Extended Abstract). ICALP Donald Sannella, Martin Wirsing
1982	—	`—`	Semantics, implementation and pragmatics of Clear, a program specification language. Donald Sannella
1980	—	`conf`	HOPE: An Experimental Applicative Language. LISP Conference Rod M. Burstall, David B. MacQueen, Donald Sannella