Donald Sannella

According to our database1, Donald Sannella
  • authored at least 82 papers between 1980 and 2017.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
Specification refinements: Calculi, tools, and applications.
Sci. Comput. Program., 2017

2015
TCS in the 21st century.
Theor. Comput. Sci., 2015

Algebraic Constructions: A Simple Framework for Complex Dependencies and Parameterisation.
Int. J. Software and Informatics, 2015

ThreadSafe: Static Analysis for Java Concurrency.
ECEASST, 2015

The Foundational Legacy of ASL.
Proceedings of the Software, 2015

Modularity of Ontologies in an Arbitrary Institution.
Proceedings of the Logic, Rewriting, and Concurrency, 2015

2014
Property-oriented semantics of structured specifications.
Mathematical Structures in Computer Science, 2014

Parchments for CafeOBJ Logics.
Proceedings of the Specification, Algebra, and Software, 2014

2012
Foundations of Algebraic Specification and Formal Software Development.
Monographs in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-642-17335-6, 2012

2010
Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode.
Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010

2008
Preface.
Theor. Comput. Sci., 2008

Observational interpretation of Casl specifications.
Mathematical Structures in Computer Science, 2008

Observability Concepts in Abstract Data Type Specification, 30 Years Later.
Proceedings of the Concurrency, 2008

2007
Semantic and logical foundations of global computing: Papers from the EU-FET global computing initiative (2001-2005).
Theor. Comput. Sci., 2007

2006
Preface.
Theor. Comput. Sci., 2006

Horizontal Composability Revisited.
Proceedings of the Algebra, Meaning, and Computation, 2006

2005
Mobile Resource Guarantees (project evaluation paper).
Proceedings of the Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, 2005

2004
A Simple Refinement Language for Casl.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2004

Mobile Resource Guarantees for Smart Devices.
Proceedings of the Construction and Analysis of Safe, 2004

2003
Casl - The Common Algebraic Specification Language: Semantics and Proof Theory.
Computers and Artificial Intelligence, 2003

Semantic and Syntactic Approaches to Simulation Relations.
Proceedings of the Mathematical Foundations of Computer Science 2003, 2003

2002
CASL: the Common Algebraic Specification Language.
Theor. Comput. Sci., 2002

Prelogical Relations.
Inf. Comput., 2002

A Collection of Papers and Memoirs Celebrating the Contribution of Rod Burstall to Advances in Computer Science.
Formal Asp. Comput., 2002

Architectural Specifications in CASL.
Formal Asp. Comput., 2002

Toward Component-Oriented Formal Software Development: An Algebraic Approach.
Proceedings of the Radical Innovations of Software and Systems Engineering in the Future, 2002

Unit Testing for CASL Architectural Specifications.
Proceedings of the Mathematical Foundations of Computer Science 2002, 2002

Global Development via Local Observational Construction Steps.
Proceedings of the Mathematical Foundations of Computer Science 2002, 2002

From Specifications to Code in CASL.
Proceedings of the Algebraic Methodology and Software Technology, 2002

2001
25 Years.
Theor. Comput. Sci., 2001

The Common Framework Initiative for Algebraic Specification and Development of Software: Recent Progress.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2001

2000
Lax Logical Relations.
Proceedings of the Automata, Languages and Programming, 27th International Colloquium, 2000

Constructive Data Refinement in Typed Lambda Calculus.
Proceedings of the Foundations of Software Science and Computation Structures, 2000

1999
Specification Languages.
Proceedings of the Algebraic Foundations of Systems Specification, 1999

Algebraic Preliminaries.
Proceedings of the Algebraic Foundations of Systems Specification, 1999

Algebraic Methods for Specification and Formal Development of Programs.
ACM Comput. Surv., 1999

Algebraic Specification and Program Development by Stepwise Refinement.
Proceedings of the Logic Programming Synthesis and Transformation, 1999

The Common Framework Initiative for Algebraic Specification and Development of Software.
Proceedings of the Perspectives of System Informatics, 1999

Pre-logical Relations.
Proceedings of the Computer Science Logic, 13th International Workshop, 1999

1998
Reflections on the Design of a Specification language.
FASE, 1998

Architectural Specifications in CASL.
Proceedings of the Algebraic Methodology and Software Technology, 1998

1997
The Definition of Extended ML: A Gentle Introduction.
Theor. Comput. Sci., 1997

Essential Concepts of Algebraic Specification and Program Development.
Formal Asp. Comput., 1997

What Does the Future Hold for Theoretical Computer Science?
Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

1996
On Behavioural Abstraction and Behavioural Satisfaction in Higher-Order Logic.
Theor. Comput. Sci., 1996

Mind the Gap! Abstract Versus Concrete Models of Specifications.
Proceedings of the Mathematical Foundations of Computer Science 1996, 1996

1995
Foreword: Selected Papers of ESOP'94.
Sci. Comput. Program., 1995

On Behavioral Abstraction and Behavioural Satisfaction in Higher-Order Logic.
Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

1994
Structured Theory Presentations and Logic Representations.
Ann. Pure Appl. Logic, 1994

Interfaces and Extended ML.
Proceedings of the Workshop on Interface Definition Languages, 1994

1993
Algebraic specification and formal methods for program development: what are the real problems?
Proceedings of the Current Trends in Theoretical Computer Science - Essays and Tutorials, 1993

The Semantics of Extended ML: A Gentle Introduction.
Proceedings of the Semantics of Specification Languages (SoSL), 1993

1992
A Calculus for the Construction of Modular Prolog Programs.
J. Log. Program., 1992

Toward Formal Development of Programs from Algebraic Specifications: Parameterisation Revisited.
Acta Inf., 1992

Towards Formal Development of Programs from Algebraic Specifications: Model-Theoretic Foundations.
Proceedings of the Automata, Languages and Programming, 19th International Colloquium, 1992

1991
Structuring Specifications in-the-Large and in-the-Small: Higher-Order Functions, Dependent Types and Inheritance in SPECTRAL.
Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991

1990
Algebraic specification and formal methods for program development: what are the real problems?
Bulletin of the EATCS, 1990

Extended ML: Past, Present, and Future.
Proceedings of the Recent Trends in Data Type Specification, 1990

A Kernel Specification Formalism with Higher-Order Parameterization.
Proceedings of the Recent Trends in Data Type Specification, 1990

1989
Toward Formal Development of ML Programs: Foundations and Methodology (Extended Abstract).
Proceedings of the TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1989

Structure and Representation in LF
Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS '89), 1989

Logic Representation in LF.
Proceedings of the Category Theory and Computer Science, 1989

1988
Specifications in an Arbitrary Institution
Inf. Comput., 1988

Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited.
Acta Inf., 1988

Formal Development of ML Programs: Methodological Aspects.
ADT, 1988

1987
On Observational Equivalence and Algebraic Specification.
J. Comput. Syst. Sci., 1987

Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited (Extended Abstract).
Proceedings of the TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987

A Calculus for the Construction of Modular Prolog Programs.
Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31, 1987

1986
Extended ML: An Institution-Independent Framework for Formal Program Development.
ADT, 1986

1985
Completeness of Proof Systems for Equational Specifications.
IEEE Trans. Software Eng., 1985

On Observational Equivalence and Algebraic Specification.
Proceedings of the Mathematical Foundations of Software Development, 1985

Program Specification and Development in Standard ML.
Proceedings of the Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages, 1985

Extended ML: an Institution - Independent Framework for Formal Program Development.
Proceedings of the Category Theory and Computer Programming, 1985

1984
A Set-Theoretic Semantics for Clear.
Acta Inf., 1984

Building Specifications in an Arbitrary Institution.
Proceedings of the Semantics of Data Types, International Symposium, 1984

Some Thoughts on Algebraic Specification.
Proceedings of the Recent Trends in Data Type Specification, 1984

1983
A Kernel Language for Algebraic Specification and Implementation - Extended Abstract.
Proceedings of the Fundamentals of Computation Theory, 1983

Structured Theories in LCF.
Proceedings of the CAAP'83, 1983

A Kernel Language for Algebraic Specification and Implementation.
ADT, 1983

1982
Semantics, implementation and pragmatics of Clear, a program specification language.
PhD thesis, 1982

Implementation of Parameterised Specifications (Extended Abstract).
Proceedings of the Automata, 1982

1980
HOPE: An Experimental Applicative Language.
LISP Conference, 1980


  Loading...