Items for Berger, Martin

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

Article

Berger, Martin and Tratt, Laurie (2015) Program logics for homogeneous generative run-time meta-programming. Logical Methods in Computer Science, 11 (1). ISSN 1860-5974

Honda, Kohei, Yoshida, Nobuko and Berger, Martin (2014) An observationally complete program logic for imperative higher-order functions. Theoretical Computer Science, 517. pp. 75-101. ISSN 0304-3975

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

Jeffery, Alexander and Berger, Martin (2018) Asynchronous sessions with implicit functions and messages. 12th International Symposium on Theoretical Aspects of Software Engineering, Guangzhou, China, August 29-31 2018. Published in: 2018 International Symposium on Theoretical Aspects of Software Engineering (TASE). Institute of Electrical and Electronics Engineers (Accepted)

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

Honda, Kohei, Yoshida, Nobuko and Berger, Martin (2014) Process types as a descriptive tool for interaction. Rewriting and Typed Lambda Calculi. RTA 2014, Vienna, Austria, 14-17 July 2014. Published in: Rewriting and Typed Lambda Calculi. RTA 2014. 1-20. Springer ISBN 9783319089171

This list was generated on Thu Dec 13 15:22:31 2018 GMT.