| HOPE: An experimental applicative language RM Burstall, DB MacQueen, DT Sannella Proceedings of the 1980 ACM conference on LISP and functional programming …, 1980 | 554 | 1980 |
| Specifications in an arbitrary institution D Sannella, A Tarlecki Information and computation 76 (2-3), 165-210, 1988 | 332 | 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 | 286 | 2002 |
| Toward formal development of programs from algebraic specifications: implementations revisited D Sannella, A Tarlecki Acta Informatica 25 (3), 233-281, 1988 | 279 | 1988 |
| A kernel language for algebraic specification and implementation extended abstract D Sannella, M Wirsing International Conference on Fundamentals of Computation Theory, 413-427, 1983 | 264 | 1983 |
| Foundations of algebraic specification and formal software development D Sannella, A Tarlecki Springer Science & Business Media, 2012 | 211 | 2012 |
| Essential concepts of algebraic specification and program development D Sannella, A Tarlecki Formal Aspects of Computing 9 (3), 229-269, 1997 | 154 | 1997 |
| On observational equivalence and algebraic specification D Sannella, A Tarlecki Journal of Computer and System Sciences 34 (2-3), 150-178, 1987 | 154 | 1987 |
| The semantics of Extended ML: A gentle introduction S Kahrs, D Sannella, A Tarlecki Theoretical Computer Science 173 (2), 445-484, 1997 | 147 | 1997 |
| Toward formal development of programs from algebraic specifications: parameterisation revisited D Sannella, S Sokolowski, A Tarlecki Acta Informatica 29 (8), 689-736, 1992 | 136 | 1992 |
| The relation between logic programming and logic specification R Kowalski Philosophical Transactions of the Royal Society of London. Series A …, 1984 | 109 | 1984 |
| Deduction: automated logic W Bibel, S Hölldobler, G Neugebauer, D Sannella Academic Press, 1993 | 102 | 1993 |
| 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 | 100 | 1991 |
| Toward formal development of ML programs: foundations and methodology D Sannella, A Tarlecki International Joint Conference on Theory and Practice of Software …, 1989 | 99 | 1989 |
| Structured theories in LCF DT Sannella, RM Burstall Colloquium on Trees in Algebra and Programming, 377-391, 1983 | 99 | 1983 |
| Extended ML: an institution-independent framework for formal program development D Sannella, A Tarlecki Category Theory and Computer Programming, 364-389, 1986 | 97 | 1986 |
| Structured theory presentations and logic representations R Harper, D Sannella, A Tarlecki Annals of Pure and Applied Logic 67 (1-3), 113-160, 1994 | 89 | 1994 |
| 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 | 83 | 2004 |
| Implementation of parameterised specifications D Sannella, M Wirsing International Colloquium on Automata, Languages, and Programming, 473-488, 1982 | 83 | 1982 |
| Formal program development in Extended ML for the working programmer D Sannella University of Edinburgh, Department of Computer Science. Laboratory for …, 1989 | 82 | 1989 |
Andrzej TarleckiFaculty of Mathematics, Informatics and Mechanics, University of WarsawE-mail megerősítve itt: mimuw.edu.pl
