Donald Sannella - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

2008

Observational interpretation of Casl specificationsMichel Bidoit, Donald Sannella, Andrzej Tarlecki. mscs, 18(2):325-371, 2008. [doi]

2007

Trustworthy Global Computing, Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected PapersUgo Montanari, Donald Sannella, Roberto Bruni, editors, Volume 4661 of Lecture Notes in Computer Science, Springer, 2007.

Semantic and logical foundations of global computing: Papers from the EU-FET global computing initiative (2001-2005)Donald Sannella, Vladimiro Sassone. TCS, 389(3):337-340, 2007. [doi]

2006

Horizontal Composability RevisitedDonald Sannella, Andrzej Tarlecki. BIRTHDAY 2006: 296-316 [doi]

2005

Mobile Resource Guarantees (project evaluation paper)Donald Sannella, Martin Hofmann, David Aspinall, Stephen Gilmore, Ian Stark, Lennart Beringer, Hans-Wolfgang Loidl, Kenneth Mackenzie, Alberto Momigliano, Olha Shkaravska. sfp 2007: 211-226

2004

Mobile Resource Guarantees for Smart DevicesDavid Aspinall, Stephen Gilmore, Martin Hofmann, Donald Sannella, Ian Stark. cassis 2005: 1-26 [doi]

Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. ProceedingsJosep Díaz, Juhani Karhumäki, Arto Lepistö, Donald Sannella, editors, Volume 3142 of Lecture Notes in Computer Science, Springer, 2004.

A Simple Refinement Language for CaslTill Mossakowski, Donald Sannella, Andrzej Tarlecki. WADT 2004: 162-185 [doi]

2003

Semantic and Syntactic Approaches to Simulation RelationsJo Erskine Hannay, Shin-ya Katsumata, Donald Sannella. mfcs 2003: 68-91 [doi]

Casl - The Common Algebraic Specification Language: Semantics and Proof TheoryTill Mossakowski, Anne Elisabeth Haxthausen, Donald Sannella, Andrzej Tarlecki. cai, 22(3), 2003.

2002

From Specifications to Code in CASLDavid Aspinall, Donald Sannella. amast 2002: 1-14 [doi]

CASL: the Common Algebraic Specification LanguageEgidio Astesiano, Michel Bidoit, Hélène Kirchner, Bernd Krieg-Brückner, Peter D. Mosses, Donald Sannella, Andrzej Tarlecki. TCS, 286(2):153-196, 2002.

Global Development via Local Observational Construction StepsMichel Bidoit, Donald Sannella, Andrzej Tarlecki. mfcs 2002: 1-24 [doi]

Architectural Specifications in CASLMichel Bidoit, Donald Sannella, Andrzej Tarlecki. fac, 13(3-5):252-273, 2002. [doi]

Prelogical RelationsFurio Honsell, Donald Sannella. iandc, 178(1):23-43, 2002. [doi]

Unit Testing for C88 ASL Architectural SpecificationsPatrícia D. L. Machado, Donald Sannella. mfcs 2002: 506-518 [doi]

A Collection of Papers and Memoirs Celebrating the Contribution of Rod Burstall to Advances in Computer ScienceDavid E. Rydeheard, Donald Sannella. fac, 13(3-5):187-193, 2002. [doi]

2001

25 YearsGiorgio Ausiello, Donald Sannella, Michael W. Mislove. TCS, 250(1-2), 2001.

The Common Framework Initiative for Algebraic Specification and Development of Software: Recent ProgressDonald Sannella. WADT 2001: 328-344 [doi]

2000

Constructive Data Refinement in Typed Lambda CalculusFurio Honsell, John Longley, Donald Sannella, Andrzej Tarlecki. fossacs 2000: 161-176 [doi]

1999

Pre-logical RelationsFurio Honsell, Donald Sannella. csl 1999: 546-561

Algebraic Specification and Program Development by Stepwise RefinementDonald Sannella. LOPSTR 2000: 1-9

The Common Framework Initiative for Algebraic Specification and Development of SoftwareDonald Sannella. ershov 2000: 1-9 [doi]

Algebraic Methods for Specification and Formal Development of ProgramsDonald Sannella, Andrzej Tarlecki. ACM Comput. Surv., 31(3es):10, 1999. [doi]

1998

Architectural Specifications in CASLMichel Bidoit, Donald Sannella, Andrzej Tarlecki. amast 1999: 341-357 [doi]

Reflections on the Design of a Specification languageStefan Kahrs, Donald Sannella. FASE 1998: 154-170 [doi]

1997

The Definition of Extended ML: A Gentle IntroductionStefan Kahrs, Donald Sannella, Andrzej Tarlecki. TCS, 173(2):445-484, 1997. [doi]

Essential Concepts of Algebraic Specification and Program DevelopmentDonald Sannella, Andrzej Tarlecki. fac, 9(3):229-269, 1997.

What Does the Future Hold for Theoretical Computer Science?Donald Sannella. tapsoft 1997: 15-19

1996

On Behavioural Abstraction and Behavioural Satisfaction in Higher-Order LogicMartin Hofmann, Donald Sannella. TCS, 167(1&2):3-45, 1996. [doi]

Mind the Gap! Abstract Versus Concrete Models of SpecificationsDonald Sannella, Andrzej Tarlecki. mfcs 1996: 114-134

1995

On Behavioral Abstraction and Behavioural Satisfaction in Higher-Order LogicMartin Hofmann, Donald Sannella. tapsoft 1995: 247-261

Foreword: Selected Papers of ESOP 94Donald Sannella. SCP, 25(2-3):79-80, 1995.

1994

Structured Theory Presentations and Logic RepresentationsRobert Harper, Donald Sannella, Andrzej Tarlecki. APAL, 67(1-3):113-160, 1994.

Interfaces and Extended MLStefan Kahrs, Donald Sannella, Andrzej Tarlecki. idl 1994: 111-118

1993

The Semantics of Extended ML: A Gentle IntroductionStefan Kahrs, Donald Sannella, Andrzej Tarlecki. sosl 1994: 186-215

1992

A Calculus for the Construction of Modular Prolog ProgramsDonald Sannella, Lincoln A. Wallen. jlp, 12(1&2):147-177, 1992.

Toward Formal Development of Programs from Algebraic Specifications: Parameterisation RevisitedDonald Sannella, Stefan Sokolowski, Andrzej Tarlecki. ACTA, 29(8):689-736, 1992.

Towards Formal Development of Programs from Algebraic Specifications: Model-Theoretic FoundationsDonald Sannella, Andrzej Tarlecki. icalp 1992: 656-671

1991

Algebraic System Specification and Development - A Survey and Annotated BibliographyMichel Bidoit, Hans-Jörg Kreowski, Pierre Lescanne, Fernando Orejas, Donald Sannella, editors, Volume 501 of Lecture Notes in Computer Science, Springer, 1991.

1990

Extended ML: Past, Present, and FutureDonald Sannella, Andrzej Tarlecki. adt 1991: 297-322

A Kernel Specification Formalism with Higher-Order ParameterizationDonald Sannella, Andrzej Tarlecki. adt 1991: 274-296

Algebraic specification and formal methods for program development: what are the real problems?Donald Sannella, Andrzej Tarlecki. eatcs, 41:134-138, 1990.

1989

Structure and Representation in LFRobert Harper, Donald Sannella, Andrzej Tarlecki. lics 1989: 226-237

Logic Representation in LFRobert Harper, Donald Sannella, Andrzej Tarlecki. ctcs 1989: 250-272

Toward Formal Development of ML Programs: Foundations and Methodology (Extended Abstract)Donald Sannella, Andrzej Tarlecki. tapsoft 1989: 375-389

1988

Specifications in an Arbitrary InstitutionDonald Sannella, Andrzej Tarlecki. iandc, 76(2/3):165-210, February/March 1988.

Formal Development of ML Programs: Methodological AspectsDonald Sannella, Andrzej Tarlecki. WADT 1988:

Toward Formal Development of Programs from Algebraic Specifications: Implementations RevisitedDonald Sannella, Andrzej Tarlecki. ACTA, 25(3):233-281, 1988.

1987

Recent Trends in Data Type Specification, 5th Workshop on Abstract Data Types, Gullane, Scotland, September 1-4, 1987, Selected PapersDonald Sannella, Andrzej Tarlecki, editors, Volume 332 of Lecture Notes in Computer Science, Springer, 1987.

A Calculus for the Construction of Modular Prolog ProgramsDonald Sannella, Lincoln A. Wallen. slp 1987: 368-378

Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited (Extended Abstract)Donald Sannella, Andrzej Tarlecki. tapsoft 1987: 96-110

On Observational Equivalence and Algebraic SpecificationDonald Sannella, Andrzej Tarlecki. jcss, 34(2/3):150-178, 1987.

1986

Extended ML: An Institution-Independent Framework for Formal Program DevelopmentDonald Sannella, Andrzej Tarlecki. adt 1986:

1985

Extended ML: an Institution - Independent Framework for Formal Program DevelopmentDonald Sannella, Andrzej Tarlecki. ctcs 1986: 364-389

1984

Building Specifications in an Arbritrary InstitutionDonald Sannella, Andrzej Tarlecki. sdt 1984: 337-356

Some Thoughts on Algebraic SpecificationDonald Sannella, Andrzej Tarlecki. adt 1985: 31-38

1983

Structured Theories in LCFDonald Sannella, Rod M. Burstall. caap 1983: 377-391

A Kernel Language for Algebraic Specification and Implementation - Extended AbstractDonald Sannella, Martin Wirsing. fct 1983: 413-427

1982

Implementation of Parameterised Specifications (Extended Abstract)Donald Sannella, Martin Wirsing. icalp 1982: 473-488

1980

HOPE: An Experimental Applicative LanguageRod M. Burstall, David B. MacQueen, Donald Sannella. lfp 1980: 136-143