Don Sannella | Academic Influence

Don Sannella's AcademicInfluence.com Rankings

Don Sannella

Computer Science

#1962

World Rank

#2038

Historical Rank

Database

#8121

World Rank

#8468

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Don Sannella's Degrees

Bachelors Mathematics University of Manchester

Similar Degrees You Can Earn

Best Online Bachelor's in Math 2025

Why Is Don Sannella Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Donald T. Sannella FRSE is professor of computer science in the Laboratory for Foundations of Computer Science, at the School of Informatics, University of Edinburgh, Scotland. Sannella graduated from Yale University, University of California, Berkeley and University of Edinburgh with degrees in computer science. His research interests include: algebraic specification and formal software development, correctness of modular systems, types and functional programming, resource certification for mobile code.

(See a Problem?)

Don Sannella's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

HOPE: An experimental applicative language (1980) (427)
Specifications in an Arbitrary Institution (1988) (277)
CASL: the Common Algebraic Specification Language (2002) (269)
A Kernel Language for Algebraic Specification and Implementation (1983) (223)
Mobile Resource Guarantees for Smart Devices (2004) (213)
Extended ML: Past, Present, and Future (1990) (204)
On Observational Equivalence and Algebraic Specification (1985) (192)
Foundations of Algebraic Specification and Formal Software Development (2012) (183)
The Definition of Extended ML: A Gentle Introduction (1997) (104)
Toward formal development of programs from algebraic specifications: Implementations revisited (1988) (101)
Unit Testing for CASL Architectural Specifications (2002) (95)
Extended ML: An Institution-Independent Framework for Formal Program Development (1985) (87)
Structured Theories in LCF (1983) (81)
Toward Formal Development of ML Programs: Foundations and Methodology (Extended Abstract) (1989) (81)
A Calculus for the Construction of Modular Prolog Programs (1987) (78)
Essential concepts of algebraic specification and program development (1997) (72)
Architectural Specifications in CASL (1999) (72)
Algebraic Preliminaries (1999) (69)
Program specification and development in standard ML (1985) (61)
Structured Theory Presentations and Logic Representations (1994) (59)
Building Specifications in an Arbitrary Institution (1984) (56)
Toward Component-Oriented Formal Software Development: An Algebraic Approach (2002) (52)
Formal program development in Extended ML for the working programmer (1990) (52)
Algebraic system specification and development (1991) (51)
A List of Successes That Can Change the World (2016) (44)
Implementation of Parameterised Specifications (Extended Abstract) (1982) (43)
Casl - The Common Algebraic Specification Language: Semantics and Proof Theory (2003) (43)
Horizontal Composability Revisited (2006) (41)
On Behavioural Abstraction and Behavioural Satisfaction in Higher-Order Logic (1996) (39)
Completeness of Proof Systems for Equational Specifications (1985) (37)
Lax Logical Relations (2000) (37)
Pre-logical Relations (1999) (37)
Structure and representation in LF (1989) (36)
Toward formal development of programs from algebraic specifications: Parameterisation revisited (1992) (35)
Structuring Specifications in-the-Large and in-the-Small: Higher-Order Functions, Dependent Types and Inheritance in SPECTRAL (1991) (30)
A Simple Refinement Language for Casl (2004) (28)
Towards Formal Development of Programs from Algebraic Specifications: Model-Theoretic Foundations (1992) (26)
The definition of Extended ML (1994) (26)
Algebraic methods for specification and formal development of programs (1999) (25)
A Survey of Formal Software Developmentmethods (1988) (23)
Algebraic Specification and Program Development by Stepwise Refinement (1999) (22)
Constructive Data Refinement in Typed Lambda Calculus (2000) (22)
A Kernel Specification Formalism with Higher-Order Parameterization (1990) (22)
Algebraic specification and formal methods for program development: what are the real problems? (1990) (21)
Observational interpretation of Casl specifications (2008) (20)
Programming Languages and Systems — ESOP '94 (1994) (19)
Mobile Resource Guarantees (2007) (19)
Logic Representation in LF (1989) (18)
Semantics, implementation and pragmatics of Clear, a program specification language (1982) (18)
The Semantics of Extended ML: A Gentle Introduction (1993) (16)
Toward formal development of programs from algebraic specifications: Implementations revisited (1987) (16)
Adding Generic modules to flat rule-based languages: a low cost approach (1989) (13)
ThreadSafe: Static Analysis for Java Concurrency (2015) (11)
On Behavioral Abstraction and Behavioural Satisfaction in Higher-Order Logic (1995) (11)
Some Thoughts on Algebraic Specification (1984) (11)
Mind the Gap! Abstract Versus Concrete Models of Specifications (1996) (11)
Specification Languages (1999) (11)
Global Development via Local Observational Construction Steps (2002) (11)
Logics of Specification Languages (2008) (9)
Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode (2010) (9)
Prelogical Relations (2002) (8)
Unit Testing for C88 ASL Architectural Specifications (2002) (8)
From Specifications to Code in CASL (2002) (8)
Reflections on the Design of a Specification language (1998) (8)
A Key to Your Heart: Biometric Authentication Based on ECG Signals (2019) (8)
Proving properties of logic programs: A Progress Report (1988) (6)
Specification refinements: Calculi, tools, and applications (2017) (6)
The Common Framework Initiative for Algebraic Specification and Development of Software (1999) (5)
The Common Framework Initiative for Algebraic Specification and Development of Software: Recent Progress (2001) (4)
Lecture notes in Computer Science on Recent trends in data type specification (1988) (4)
A set-theoretic semantics for Clear (1984) (4)
Mobile Resource Guarantees (project evaluation paper) (2005) (3)
6th Symposium on Trends in Functional Programming TFP 2005 (2005) (3)
Automata, Languages and Programming (1974) (3)
Project evaluation paper: Mobile resource guarantees (2007) (3)
A compositional generalisation of logical relationsGordon Plotkin (1998) (2)
Interfaces and extended ML (1994) (2)
The common framework initiative for algebraic specifications (2001) (2)
Modularity of Ontologies in an Arbitrary Institution (2015) (2)
Mathematical Foundations of Computer Science 2015 (2015) (2)
Recent trends in data type specification : 5th Workshop on Specification of Abstract Data Types, Gullane, Scotland, September 1-4, 1987 : selected papers (1988) (2)
Formal program development (2011) (2)
Observability Concepts in Abstract Data Type Specification, 30 Years Later (2008) (2)
The Foundational Legacy of ASL (2015) (1)
Property-oriented semantics of structured specifications† (2013) (1)
Parchments for CafeOBJ Logics (2014) (1)
Semantic and logical foundations of global computing (2007) (1)
Architectural specifications in C ASL (2001) (1)
Formal Development of ML Programs: Methodological Aspects (1988) (1)
Automata, languages and programming : 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004 : proceedings (2004) (1)
8 Specification Languages (1994) (1)
A Collection of Papers and Memoirs Celebrating the Contribution of Rod Burstall to Advances in Computer Science (2002) (1)
45th International Colloquium on Automata, Languages, and Programming: ICALP 2018, Prague, Czech Republic, July 9-13, 2018 (2018) (1)
Mobile Resource Guarantees Evaluation Paper (2005) (1)
Proceedings of the 5th European Symposium on Programming: Programming Languages and Systems (1994) (1)
45th International Colloquium on Automata, Languages, and Programming, ICALP 2018, July 9-13, 2018, Prague, Czech Republic (2018) (1)
Semantic and Syntactic Approaches to Simulation Relations (2003) (1)
Selected papers of ESOP '94, the 5th European symposium on Programming (1995) (1)
Casl: The Common (2002) (1)
Power of d Choices with Simple Tabulation (2018) (1)
Mathematical Foundations of Computer Science 2015 (2015) (1)
A Polynomial-Time Approximation Algorithm for All-Terminal Network Reliability (2018) (1)
Semantic and logical foundations of global computing: Papers from the EU-FET global computing initiative (2001-2005) (2007) (0)
BCS Formal Aspects of Computing Architectural Specifications in CASL ∗ (0)
Programming languages and systems, ESOP '94 : 5th European Symposium on Programming, Edinburgh, U.K., April 11-13, 1994 : proceedings (1994) (0)
Algebraic Constructions: A Simple Framework for Complex Dependencies and Parameterisation (2015) (0)
Explorer Mobile Resource Guarantees for Smart Devices (2017) (0)
Working with multiple logical systems (2011) (0)
Explorer The foundational legacy of ASL (2017) (0)
What Does the Future Hold for Theoretical Computer Science? (1997) (0)
Computer Science Logic (1999) (0)
On Normal Forms for Structured Specifications with Generating Constraints (2018) (0)
Preface (2008) (0)
Models and logics (1991) (0)
Completeness ofProof Systems forEquational Specifications (1985) (0)
Theoretical Computer Science, Special issue on Semantic and Logical Foundations of Global Computing. Forthcoming (2006) (0)
Efficient CNF Conversion (2021) (0)
Introduction to Computation: Haskell, Logic and Automata (2021) (0)
Caslthe Common AlgebraicSpeci cation Language 1 (1999) (0)
Trustworthy Global Computing (2008) (0)
Automata, Languages and Programming (2001) (0)
Lists and Recursion (2021) (0)
Preface for the special issue in homage to Martin Hofmann Part 2 (2022) (0)
Checking Satisfiability (2021) (0)
Chapter 1 Mobile Resource Guarantees Evaluation Paper (2005) (0)
Chapter 14 Project Evaluation Paper : Mobile Resource Guarantees (2006) (0)
Front Matter, Table of Contents, Preface, Conference Organization (2017) (0)
Edinburgh Research Explorer Horizontal Composability Revisited (2017) (0)
Testing Modular Systems Against Casl Architectural Specifications (2002) (0)
Trustworthy Global Computing - Preface (2008) (0)
Working within an arbitrary logical system (2011) (0)
Edinburgh Research Explorer Constructive Data Refinement in Typed Lambda Calculus (2017) (0)
Preface (2006) (0)
Simple equational specifications (2011) (0)
Explorer A Kernel Specification Formalism with Higher-Order Parameterisation (2016) (0)
Preface (2020) (0)
Trustworthy Global Computing, Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers (2007) (0)
Foreword: Selected Papers of ESOP'94 (1995) (0)
TCS in the 21st century (2015) (0)
Proofs for specifications (2011) (0)
ARRIVAL: Next Stop in CLS (2018) (0)
Simple Computations (2021) (0)
Sequent Calculus (2021) (0)
Proceedings of the 2nd international conference on Trustworthy global computing (2006) (0)
Explorer Parchments for CafeOBJ Logics (2017) (0)
Kagan, V., Nerode, A. and Subrahmanian, VS., Computing definite logic (1994) (0)
2 Algebraic Preliminaries (1999) (0)
Input/Output and Monads (2021) (0)
25 Years (2001) (0)
Preface for the special issue in homage to Martin Hofmann Part 1 (2021) (0)
Entailment for Structured Specifications (2017) (0)

This paper list is powered by the following services:

Other Resources About Don Sannella

en.wikipedia.org

What Schools Are Affiliated With Don Sannella?

Don Sannella is affiliated with the following schools: