Edinburgh Research Explorer

Prof Don Sannella

PERSONAL CHAIR IN COMPUTER SCIENCE

  1. 2017
  2. Specification refinements: calculi, tools, and applications

    Codescu, M., Mossakowski, T., Sannella, D. & Tarlecki, A. 15 Sep 2017 In : Science of Computer Programming. 144, p. 1-49 48 p.

    Research output: Contribution to journalArticle

  3. Entailment for Structured Specifications

    Hennicker, R., Sannella, D., Tarlecki, A. & Wirsing, M. 2017 Towards an Encyclopaedia of Proof Systems. Woltzenlogel Paleo, B. (ed.). London, UK: College Publications, 1 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  4. On normal forms for structured specifications with generating constraints

    Sannella, D. & Tarlecki, A. 2017 In Memoriam Hartmut Ehrig: On Graph Transformations, Algebraic Specifications and Nets. 19 p. (Lecture Notes in Computer Science)

    Research output: Chapter in Book/Report/Conference proceedingChapter

  5. Refinement of Structured Specifications

    Hennicker, R., Sannella, D., Tarlecki, A. & Wirsing, M. 2017 Towards an Encyclopaedia of Proof Systems. Woltzenlogel Paleo, B. (ed.). London, UK: College Publications, 1 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  6. 2016
  7. A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday

    Lindley, S., McBride, C., Trinder, P. & Sannella, D. 2016 Springer International Publishing. 501 p. (Lecture Notes in Computer Science; vol. 9600)

    Research output: Book/ReportBook

  8. 2015
  9. Algebraic constructions: a simple framework for complex dependencies and parameterisation

    Marczynski, G., Sannella, D. & Tarlecki, A. 2015 In : International Journal of Software and Informatics. 9, 2, p. 117-139 22 p.

    Research output: Contribution to journalArticle

  10. Mathematical Foundations of Computer Science 2015: 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I

    Italiano, G. F., Pighizzini, G. & Sannella, D. 2015 Springer Berlin Heidelberg. 482 p. (Lecture Notes in Computer Science; vol. 9234)

    Research output: Book/ReportBook

  11. Mathematical Foundations of Computer Science 2015: 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II

    Italiano, G. F., Pighizzini, G. & Sannella, D. 2015 Springer Berlin Heidelberg. 633 p. (Lecture Notes in Computer Science; vol. 9235)

    Research output: Book/ReportBook

  12. Modularity of Ontologies in an Arbitrary Institution

    Ibañez, Y. A., Mossakowski, T., Sannella, D. & Tarlecki, A. 2015 Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday. Martí-Oliet, N., Ölveczky, C. P. & Talcott, C. (eds.). Cham: Springer International Publishing, p. 361-379 19 p. (Lecture Notes in Computer Science; vol. 9200)

    Research output: Chapter in Book/Report/Conference proceedingChapter

  13. The foundational legacy of ASL

    Sannella, D. & Tarlecki, A. 2015 Software, Services and Systems: : Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering. Springer International Publishing, p. 253-272 20 p. (Lecture Notes in Computer Science; vol. 8950)

    Research output: Chapter in Book/Report/Conference proceedingChapter

Previous 1 2 3 4 5 6 7 8 Next