Concepedia

Donald Sannella

DS

Statistics

Publications

23

Citations

1.8K

H-Index

17

Active since

1980

Affiliations

University of Edinburgh(Current)

Polish Academy of Sciences

Institute of Computer Science

University of Warsaw

Carnegie Mellon University

Donald Sannella is an author at University of Edinburgh specializing in computer science, formal methods, and computing.

Publications per year

1980–2024

23

Publications

23

HOPE

R. M. Burstall, David MacQueen, Donald Sannella · 1980 · 351 citations

Nursing, Behavioral Sciences, Psychology +8

Specifications in an arbitrary institution

Donald Sannella, Andrzej Tarlecki · Information and Computation · 1988 · 226 citations

Computing, Computer Science, Formal Methods +10

Toward formal development of programs from algebraic specifications: Implementations revisited

Donald Sannella, Andrzej Tarlecki · Acta Informatica · 1988 · 189 citations

Computing, Computer Engineering, Computer Science +14

CASL: the Common Algebraic Specification Language

Egidio Astesiano, Michel Bidoit, Bernd Krieg-Brückner et al. · Theoretical Computer Science · 2002 · 188 citations

Computing, Computer Science, Algebra +8

A Kernel Language for Algebraic Specification and Implementation.

Donald Sannella, Martin Wirsing · Annals of Telecommunications · 1983 · 156 citations

Computing, Computer Engineering, Computer Science +14

1–5 of 23