Items for Berger, Martin

Up a level
Export as [feed] RSS
Group by: Item Type | No Grouping
Number of items: 4.

Article

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

This list was generated on Sun Apr 30 23:40:42 2017 BST.