Follow
Donald Sannella
Donald Sannella
Professor of Computer Science, University of Edinburgh
Verified email at inf.ed.ac.uk - Homepage
Title
Cited by
Cited by
Year
HOPE: An experimental applicative language
RM Burstall, DB MacQueen, DT Sannella
Proceedings of the 1980 ACM conference on LISP and functional programming …, 1980
5701980
Specifications in an arbitrary institution
D Sannella, A Tarlecki
Information and computation 76 (2-3), 165-210, 1988
3331988
Toward formal development of programs from algebraic specifications: implementations revisited
D Sannella, A Tarlecki
Acta Informatica 25, 233-281, 1988
313*1988
CASL: the common algebraic specification language
E Astesiano, M Bidoit, H Kirchner, B Krieg-Brückner, PD Mosses, ...
Theoretical Computer Science 286 (2), 153-196, 2002
3092002
A kernel language for algebraic specification and implementation extended abstract
D Sannella, M Wirsing
Foundations of Computation Theory: Proceedings of the 1983 International FCT …, 1983
2691983
Foundations of algebraic specification and formal software development
D Sannella, A Tarlecki
Springer Science & Business Media, 2012
2442012
Essential concepts of algebraic specification and program development
D Sannella, A Tarlecki
Formal Aspects of Computing 9, 229-269, 1997
1641997
On observational equivalence and algebraic specification
D Sannella, A Tarlecki
Journal of Computer and System Sciences 34 (2-3), 150-178, 1987
1551987
Toward formal development of programs from algebraic specifications: parameterisation revisited
D Sannella, S Sokolowski, A Tarlecki
Acta Informatica 29, 689-736, 1992
1381992
The definition of Extended ML: A gentle introduction
S Kahrs, D Sannella, A Tarlecki
Theoretical Computer Science 173 (2), 445-484, 1997
1321997
Algebraic system specification and development: A survey and annotated bibliography
M Bidoit, HJ Kreowski, P Lescanne, F Orejas, D Sannella
Springer Berlin Heidelberg, 1991
1021991
Deduction: automated logic
W Bibel, S Hölldobler, G Neugebauer, D Sannella
Academic Press, 1993
1011993
Toward formal development of ML programs: foundations and methodology
D Sannella, A Tarlecki
University of Edinburgh, Department of Computer Science, Laboratory for …, 1989
1001989
Extended ML: an institution-independent framework for formal program development
D Sannella, A Tarlecki
Category Theory and Computer Programming: Tutorial and Workshop, Guildford …, 1986
991986
Structured theories in LCF
DT Sannella, RM Burstall
CAAP'83: Trees in Algebra and Programming 8th Colloquium L'Aquila, March 9 …, 1983
971983
Structured theory presentations and logic representations
R Harper, D Sannella, A Tarlecki
Annals of Pure and Applied Logic 67 (1-3), 113-160, 1994
921994
Implementation of parameterised specifications
D Sannella, M Wirsing
Automata, Languages and Programming: Ninth Colloquium Aarhus, Denmark, July …, 1982
881982
Mobile resource guarantees for smart devices
D Aspinall, S Gilmore, M Hofmann, D Sannella, I Stark
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices …, 2005
872005
Formal program development in Extended ML for the working programmer
D Sannella
University of Edinburgh, Department of Computer Science. Laboratory for …, 1989
811989
A calculus for the construction of modular Prolog programs
DT Sannella, LA Wallen
The Journal of logic programming 12 (1-2), 147-177, 1992
671992
The system can't perform the operation now. Try again later.
Articles 1–20