Items for Berger, Martin

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

Article

Jeffery, Alex and Berger, Martin (2020) Asynchronous sessions with implicit functions and messages. Science of Computer Programming. ISSN 0167-6423

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

Eliott, Harold Pancho and Berger, Martin (2020) A program logic for fresh name generation. Fundamentals of Software Engineering, Tehran, Iran, 19 - 21 May, 2021. Published in: LNCS conference proceedings. Springer (Accepted)

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 ISBN 9781538673058

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, Germany. 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 Fri May 14 14:55:11 2021 BST.