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. 2016
  4. 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

  5. 2015
  6. 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

  7. 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

  8. 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

  9. 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

  10. 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

  11. ThreadSafe: Static Analysis for Java Concurrency

    Atkey, R. & Sannella, D. 2015 In : Electronic Communications of the EASST. 72, p. 1-16 16 p.

    Research output: Contribution to journalArticle

  12. 2014
  13. Property-oriented semantics of structured specifications

    Sannella, D. & Tarlecki, A. Apr 2014 In : Mathematical Structures in Computer Science. 24, 2, 37 p., e240205

    Research output: Contribution to journalArticle

  14. Parchments for CafeOBJ Logics

    Mossakowski, T., Pawlowski, W., Sannella, D. & Tarlecki, A. 2014 Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi. Springer Berlin Heidelberg, p. 66-91 26 p. (Lecture Notes in Computer Science; vol. 8373)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

Previous 1 2 3 4 5 6 7 Next