The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Donald Sannella: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Donald Sannella, Martin Wirsing
    A Kernel Language for Algebraic Specification and Implementation - Extended Abstract. [Citation Graph (1, 0)][DBLP]
    FCT, 1983, pp:413-427 [Conf]
  2. Donald Sannella
    A Set-Theoretic Semantics for Clear. [Citation Graph (1, 0)][DBLP]
    Acta Inf., 1984, v:21, n:, pp:443-472 [Journal]
  3. Donald Sannella, Lincoln A. Wallen
    A Calculus for the Construction of Modular Prolog Programs. [Citation Graph (1, 0)][DBLP]
    J. Log. Program., 1992, v:12, n:1&2, pp:147-177 [Journal]
  4. Donald Sannella, Andrzej Tarlecki
    Some Thoughts on Algebraic Specification. [Citation Graph (0, 0)][DBLP]
    ADT, 1984, pp:31-38 [Conf]
  5. Donald Sannella, Andrzej Tarlecki
    Extended ML: An Institution-Independent Framework for Formal Program Development. [Citation Graph (0, 0)][DBLP]
    ADT, 1986, pp:- [Conf]
  6. Donald Sannella, Andrzej Tarlecki
    Formal Development of ML Programs: Methodological Aspects. [Citation Graph (0, 0)][DBLP]
    ADT, 1988, pp:- [Conf]
  7. Donald Sannella, Andrzej Tarlecki
    A Kernel Specification Formalism with Higher-Order Parameterization. [Citation Graph (0, 0)][DBLP]
    ADT, 1990, pp:274-296 [Conf]
  8. Donald Sannella, Andrzej Tarlecki
    Extended ML: Past, Present, and Future. [Citation Graph (0, 0)][DBLP]
    ADT, 1990, pp:297-322 [Conf]
  9. Donald Sannella, Martin Wirsing
    A Kernel Language for Algebraic Specification and Implementation. [Citation Graph (0, 0)][DBLP]
    ADT, 1983, pp:- [Conf]
  10. David Aspinall, Donald Sannella
    From Specifications to Code in CASL. [Citation Graph (0, 0)][DBLP]
    AMAST, 2002, pp:1-14 [Conf]
  11. Michel Bidoit, Donald Sannella, Andrzej Tarlecki
    Architectural Specifications in CASL. [Citation Graph (0, 0)][DBLP]
    AMAST, 1998, pp:341-357 [Conf]
  12. Donald Sannella, Andrzej Tarlecki
    Horizontal Composability Revisited. [Citation Graph (0, 0)][DBLP]
    Essays Dedicated to Joseph A. Goguen, 2006, pp:296-316 [Conf]
  13. Donald Sannella, Rod M. Burstall
    Structured Theories in LCF. [Citation Graph (0, 0)][DBLP]
    CAAP, 1983, pp:377-391 [Conf]
  14. David Aspinall, Stephen Gilmore, Martin Hofmann, Donald Sannella, Ian Stark
    Mobile Resource Guarantees for Smart Devices. [Citation Graph (0, 0)][DBLP]
    CASSIS, 2004, pp:1-26 [Conf]
  15. Furio Honsell, Donald Sannella
    Pre-logical Relations. [Citation Graph (0, 0)][DBLP]
    CSL, 1999, pp:546-561 [Conf]
  16. Donald Sannella, Andrzej Tarlecki
    Extended ML: an Institution - Independent Framework for Formal Program Development. [Citation Graph (0, 0)][DBLP]
    CTCS, 1985, pp:364-389 [Conf]
  17. Robert Harper, Donald Sannella, Andrzej Tarlecki
    Logic Representation in LF. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1989, pp:250-272 [Conf]
  18. Donald Sannella
    The Common Framework Initiative for Algebraic Specification and Development of Software. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 1999, pp:1-9 [Conf]
  19. Stefan Kahrs, Donald Sannella
    Reflections on the Design of a Specification language. [Citation Graph (0, 0)][DBLP]
    FASE, 1998, pp:154-170 [Conf]
  20. Furio Honsell, John Longley, Donald Sannella, Andrzej Tarlecki
    Constructive Data Refinement in Typed Lambda Calculus. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2000, pp:161-176 [Conf]
  21. Gordon D. Plotkin, John Power, Donald Sannella, Robert D. Tennent
    Lax Logical Relations. [Citation Graph (0, 0)][DBLP]
    ICALP, 2000, pp:85-102 [Conf]
  22. Donald Sannella, Andrzej Tarlecki
    Towards Formal Development of Programs from Algebraic Specifications: Model-Theoretic Foundations. [Citation Graph (0, 0)][DBLP]
    ICALP, 1992, pp:656-671 [Conf]
  23. Donald Sannella, Martin Wirsing
    Implementation of Parameterised Specifications (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    ICALP, 1982, pp:473-488 [Conf]
  24. Stefan Kahrs, Donald Sannella, Andrzej Tarlecki
    Interfaces and Extended ML. [Citation Graph (0, 0)][DBLP]
    Workshop on Interface Definition Languages, 1994, pp:111-118 [Conf]
  25. Rod M. Burstall, David B. MacQueen, Donald Sannella
    HOPE: An Experimental Applicative Language. [Citation Graph (0, 0)][DBLP]
    LISP Conference, 1980, pp:136-143 [Conf]
  26. Robert Harper, Donald Sannella, Andrzej Tarlecki
    Structure and Representation in LF [Citation Graph (0, 0)][DBLP]
    LICS, 1989, pp:226-237 [Conf]
  27. Donald Sannella
    Algebraic Specification and Program Development by Stepwise Refinement. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1999, pp:1-9 [Conf]
  28. Michel Bidoit, Donald Sannella, Andrzej Tarlecki
    Global Development via Local Observational Construction Steps. [Citation Graph (0, 0)][DBLP]
    MFCS, 2002, pp:1-24 [Conf]
  29. Jo Erskine Hannay, Shin-ya Katsumata, Donald Sannella
    Semantic and Syntactic Approaches to Simulation Relations. [Citation Graph (0, 0)][DBLP]
    MFCS, 2003, pp:68-91 [Conf]
  30. Patrícia D. L. Machado, Donald Sannella
    Unit Testing for C88 ASL Architectural Specifications. [Citation Graph (0, 0)][DBLP]
    MFCS, 2002, pp:506-518 [Conf]
  31. Donald Sannella, Andrzej Tarlecki
    Mind the Gap! Abstract Versus Concrete Models of Specifications. [Citation Graph (0, 0)][DBLP]
    MFCS, 1996, pp:114-134 [Conf]
  32. Donald Sannella, Andrzej Tarlecki
    Program Specification and Development in Standard ML. [Citation Graph (0, 0)][DBLP]
    POPL, 1985, pp:67-77 [Conf]
  33. Michel Bidoit, Donald Sannella, Andrzej Tarlecki
    Toward Component-Oriented Formal Software Development: An Algebraic Approach. [Citation Graph (0, 0)][DBLP]
    RISSEF, 2002, pp:75-90 [Conf]
  34. Donald Sannella, Andrzej Tarlecki
    Building Specifications in an Arbritrary Institution. [Citation Graph (0, 0)][DBLP]
    Semantics of Data Types, 1984, pp:337-356 [Conf]
  35. Donald Sannella, Lincoln A. Wallen
    A Calculus for the Construction of Modular Prolog Programs. [Citation Graph (0, 0)][DBLP]
    SLP, 1987, pp:368-378 [Conf]
  36. Stefan Kahrs, Donald Sannella, Andrzej Tarlecki
    The Semantics of Extended ML: A Gentle Introduction. [Citation Graph (0, 0)][DBLP]
    Semantics of Specification Languages, 1993, pp:186-215 [Conf]
  37. Martin Hofmann, Donald Sannella
    On Behavioral Abstraction and Behavioural Satisfaction in Higher-Order Logic. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1995, pp:247-261 [Conf]
  38. Bernd Krieg-Brückner, Donald Sannella
    Structuring Specifications in-the-Large and in-the-Small: Higher-Order Functions, Dependent Types and Inheritance in SPECTRAL. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1991, pp:313-336 [Conf]
  39. Donald Sannella
    What Does the Future Hold for Theoretical Computer Science? [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1997, pp:15-19 [Conf]
  40. Donald Sannella, Andrzej Tarlecki
    On Observational Equivalence and Algebraic Specification. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.1, 1985, pp:308-322 [Conf]
  41. Donald Sannella, Andrzej Tarlecki
    Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.1, 1987, pp:96-110 [Conf]
  42. Donald Sannella, Andrzej Tarlecki
    Toward Formal Development of ML Programs: Foundations and Methodology (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1989, pp:375-389 [Conf]
  43. Till Mossakowski, Donald Sannella, Andrzej Tarlecki
    A Simple Refinement Language for Casl. [Citation Graph (0, 0)][DBLP]
    WADT, 2004, pp:162-185 [Conf]
  44. Donald Sannella
    The Common Framework Initiative for Algebraic Specification and Development of Software: Recent Progress. [Citation Graph (0, 0)][DBLP]
    WADT, 2001, pp:328-344 [Conf]
  45. Donald Sannella, Stefan Sokolowski, Andrzej Tarlecki
    Toward Formal Development of Programs from Algebraic Specifications: Parameterisation Revisited. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1992, v:29, n:8, pp:689-736 [Journal]
  46. Donald Sannella, Andrzej Tarlecki
    Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1988, v:25, n:3, pp:233-281 [Journal]
  47. Robert Harper, Donald Sannella, Andrzej Tarlecki
    Structured Theory Presentations and Logic Representations. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1994, v:67, n:1-3, pp:113-160 [Journal]
  48. Till Mossakowski, Anne Elisabeth Haxthausen, Donald Sannella, Andrzej Tarlecki
    Casl - The Common Algebraic Specification Language: Semantics and Proof Theory. [Citation Graph (0, 0)][DBLP]
    Computers and Artificial Intelligence, 2003, v:22, n:3, pp:- [Journal]
  49. Donald Sannella, Andrzej Tarlecki
    Algebraic Methods for Specification and Formal Development of Programs. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1999, v:31, n:3es, pp:10- [Journal]
  50. Donald Sannella, Andrzej Tarlecki
    Algebraic specification and formal methods for program development: what are the real problems? [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1990, v:41, n:, pp:134-138 [Journal]
  51. Michel Bidoit, Donald Sannella, Andrzej Tarlecki
    Architectural Specifications in CASL. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2002, v:13, n:3-5, pp:252-273 [Journal]
  52. David E. Rydeheard, Donald Sannella
    A Collection of Papers and Memoirs Celebrating the Contribution of Rod Burstall to Advances in Computer Science. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2002, v:13, n:3-5, pp:187-193 [Journal]
  53. Donald Sannella, Andrzej Tarlecki
    Essential Concepts of Algebraic Specification and Program Development. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1997, v:9, n:3, pp:229-269 [Journal]
  54. Furio Honsell, Donald Sannella
    Prelogical Relations. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2002, v:178, n:1, pp:23-43 [Journal]
  55. Donald Sannella, Andrzej Tarlecki
    Specifications in an Arbitrary Institution [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1988, v:76, n:2/3, pp:165-210 [Journal]
  56. Donald Sannella, Andrzej Tarlecki
    On Observational Equivalence and Algebraic Specification. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1987, v:34, n:2/3, pp:150-178 [Journal]
  57. Donald Sannella
    Foreword: Selected Papers of ESOP'94. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1995, v:25, n:2-3, pp:79-80 [Journal]
  58. Egidio Astesiano, Michel Bidoit, Hélène Kirchner, Bernd Krieg-Brückner, Peter D. Mosses, Donald Sannella, Andrzej Tarlecki
    CASL: the Common Algebraic Specification Language. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:286, n:2, pp:153-196 [Journal]
  59. Giorgio Ausiello, Donald Sannella, Michael W. Mislove
    25 Years. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:250, n:1-2, pp:- [Journal]
  60. Martin Hofmann, Donald Sannella
    On Behavioural Abstraction and Behavioural Satisfaction in Higher-Order Logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:167, n:1&2, pp:3-45 [Journal]
  61. Stefan Kahrs, Donald Sannella, Andrzej Tarlecki
    The Definition of Extended ML: A Gentle Introduction. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:173, n:2, pp:445-484 [Journal]
  62. Donald Sannella
    Preface. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:350, n:2-3, pp:163- [Journal]
  63. David B. MacQueen, Donald Sannella
    Completeness of Proof Systems for Equational Specifications. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1985, v:11, n:5, pp:454-461 [Journal]
  64. Donald Sannella, Martin Hofmann, David Aspinall, Stephen Gilmore, Ian Stark, Lennart Beringer, Hans-Wolfgang Loidl, Kenneth Mackenzie, Alberto Momigliano, Olha Shkaravska
    Mobile Resource Guarantees (project evaluation paper). [Citation Graph (0, 0)][DBLP]
    Trends in Functional Programming, 2005, pp:211-226 [Conf]

  65. Observability Concepts in Abstract Data Type Specification, 30 Years Later. [Citation Graph (, )][DBLP]


Search in 0.175secs, Finished in 0.177secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002