Donald Sannella
Donald Sannella
Professor of Computer Science, University of Edinburgh
Dirección de correo verificada de inf.ed.ac.uk - Página principal
Título
Citado por
Citado por
Año
HOPE: An experimental applicative language
RM Burstall, DB MacQueen, DT Sannella
Proceedings of the 1980 ACM conference on LISP and functional programming …, 1980
5511980
Specifications in an arbitrary institution
D Sannella, A Tarlecki
Information and computation 76 (2-3), 165-210, 1988
3301988
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
2862002
Toward formal development of programs from algebraic specifications: implementations revisited
D Sannella, A Tarlecki
Acta Informatica 25 (3), 233-281, 1988
2761988
A kernel language for algebraic specification and implementation extended abstract
D Sannella, M Wirsing
International Conference on Fundamentals of Computation Theory, 413-427, 1983
2641983
Foundations of algebraic specification and formal software development
D Sannella, A Tarlecki
Springer Science & Business Media, 2012
2062012
On observational equivalence and algebraic specification
D Sannella, A Tarlecki
Journal of Computer and System Sciences 34 (2-3), 150-178, 1987
1541987
Essential concepts of algebraic specification and program development
D Sannella, A Tarlecki
Formal Aspects of Computing 9 (3), 229-269, 1997
1531997
The semantics of Extended ML: A gentle introduction
S Kahrs, D Sannella, A Tarlecki
Theoretical Computer Science 173 (2), 445-484, 1997
1471997
Toward formal development of programs from algebraic specifications: parameterisation revisited
D Sannella, S Sokolowski, A Tarlecki
Acta Informatica 29 (8), 689-736, 1992
1361992
The relation between logic programming and logic specification
R Kowalski
Philosophical Transactions of the Royal Society of London. Series A …, 1984
1091984
Deduction: automated logic
W Bibel, S Hölldobler, G Neugebauer, D Sannella
Academic Press, 1993
1021993
Algebraic System Specification and Development: A Survey and Annotated Bibliography
M Bidoit, HJ Kreowski, P Lescanne, F Orejas, D Sannella
Springer Science & Business Media, 1991
1001991
Toward formal development of ML programs: foundations and methodology
D Sannella, A Tarlecki
International Joint Conference on Theory and Practice of Software …, 1989
991989
Structured theories in LCF
DT Sannella, RM Burstall
Colloquium on Trees in Algebra and Programming, 377-391, 1983
991983
Extended ML: an institution-independent framework for formal program development
D Sannella, A Tarlecki
Category Theory and Computer Programming, 364-389, 1986
971986
Structured theory presentations and logic representations
R Harper, D Sannella, A Tarlecki
Annals of Pure and Applied Logic 67 (1-3), 113-160, 1994
891994
Implementation of parameterised specifications
D Sannella, M Wirsing
International Colloquium on Automata, Languages, and Programming, 473-488, 1982
831982
Formal program development in Extended ML for the working programmer
D Sannella
University of Edinburgh, Department of Computer Science. Laboratory for …, 1989
821989
Mobile resource guarantees for smart devices
D Aspinall, S Gilmore, M Hofmann, D Sannella, I Stark
International Workshop on Construction and Analysis of Safe, Secure, and …, 2004
812004
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20