Selected publications


Yoshida, Nobuko, Honda, Kohei and Berger, Martin (2008) Logical Reasoning for Higher-Order Functions with Local State. Logical Methods in Computer Science, 4 (4). pp. 1-68. ISSN 1860-5974

Book Section

Berger, Martin and Tratt, Laurence (2010) Program logics for homogeneous meta-programming. In: Clarke, E M and Voronkov, A (eds.) Logic for Programming, Artificial Intelligence, and Reasoning. Lecture Notes in Computer Science, 6355 L . Springer Verlag, pp. 64-81. ISBN 3642175104

Berger, Martin (2010) Program logics for sequential higher-order control. In: Arbab, F and Sirjani, M (eds.) Fundamentals of software engineering: Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers. Lecture Notes in Computer Science, 5961 . Springer Verlag, Berlin, pp. 194-211. ISBN 978-3-642-11622-3

Berger, Martin, Honda, Kohei and Yoshida, Nobuko (2008) Completeness and logical full abstraction in modal logics for typed mobile processes. In: Luca, A, Ivan, D, Leslie, A, Magnus, M and Anna, I (eds.) Automata, Languages and Programming. Lecture Notes in Computer Science, 5126 . Springer Verlag, pp. 99-111. ISBN 978-3-540-70582-6

Conference Proceedings

Berger, Martin, Tratt, Laurence and Urban, Christian (2017) Modelling homogeneous generative meta-programming. 31st European Conference on Object-Oriented Programming, Barcelona, Spain, 18 - 23 June 2017. Published in: Proceedings 31st European Conference on Object-Oriented Programming. 74 5:1-5:23. Schloss Dagstuhl ISSN 1868-8969 ISBN 9783959770354