Links und Funktionen
Sprachumschaltung

Navigationspfad
You are here: Home / Publikationen


Inhaltsbereich

Publikationen

This folder holds the following references to publications, sorted by year and author.

There are 62 references in this bibliography folder.

Hofmann, M and Rodriguez, D (2012).
Linear Constraints over Infinite Trees
In: LPAR, pp. 343-358.

Hofmann, M, Pierce, BC, and Wagner, D (2012).
Edit lenses
In: POPL, pp. 495-508.

Hoffmann, J, Aehlig, K, and Hofmann, M (2011).
Multivariate amortized resource analysis
In: POPL, pp. 357-370.

Hofmann, M, Pierce, BC, and Wagner, D (2011).
Symmetric lenses
In: POPL, pp. 371-384.

Baillot, P and Hofmann, M (2010).
Type inference in intuitionistic linear logic
In: PPDP, pp. 219-230.

Beringer, L, Grabowski, R, and Hofmann, M (2010).
Verifying Pointer and String Analyses with Region Type Systems
In: LPAR (Dakar), pp. 82-102.

Hoffmann, J and Hofmann, M (2010).
Amortized Resource Analysis with Polymorphic Recursion and Partial Big-Step Operational Semantics
In: APLAS, pp. 172-187.

Hoffmann, J and Hofmann, M (2010).
Amortized Resource Analysis with Polynomial Potential
In: ESOP, pp. 287-306.

Hofmann, M, Karbyshev, A, and Seidl, H (2010).
What Is a Pure Functional?
In: ICALP (2), pp. 199-210.

Hofmann, M, Karbyshev, A, and Seidl, H (2010).
Verifying a Local Generic Solver in Coq
In: SAS, pp. 340-355.

Jost, S, Hammond, K, Loidl, H, and Hofmann, M (2010).
Static determination of quantitative resource usage for higher-order programs
In: POPL, pp. 223-236.

Benton, N, Kennedy, A, Beringer, L, and Hofmann, M (2009).
Relational semantics for effect-based program transformations: higher-order store
In: PPDP, pp. 301-312.

Hofmann, M and Rodriguez, D (2009).
Efficient Type-Checking for Amortised Heap-Space Analysis
In: CSL, pp. 317-331.

Hofmann, M and Schöpp, U (2009).
Pointer Programs and Undirected Reachability
In: LICS, pp. 133-142.

Jost, S, Loidl, H, Hammond, K, Scaife, N, and Hofmann, M (2009).
Carbon Credits" for Resource-Bounded Computations Using Amortised Analysis
In: FM, pp. 354-369.

Lago, UD and Hofmann, M (2009).
Bounded Linear Logic, Revisited
In: TLCA, pp. 80-94.

Ahmed, A, Benton, N, Hofmann, M, and Morrisett, G (2008).
08061 Executive Summary - Types, Logics and Semantics for State
In: Types, Logics and Semantics for State, 03.02. - 08.02.2008, ed. by Amal Ahmed and Nick Benton and Martin Hofmann and Greg Morrisett, vol. 08061, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. Dagstuhl Seminar Proceedings.

Ahmed, A, Benton, N, Hofmann, M, and Morrisett, G (2008).
08061 Abstracts Collection - Types, Logics and Semantics for State
In: Types, Logics and Semantics for State, 03.02. - 08.02.2008, ed. by Amal Ahmed and Nick Benton and Martin Hofmann and Greg Morrisett, vol. 08061, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. Dagstuhl Seminar Proceedings.

Gabbay, MJ and Hofmann, M (2008).
Nominal Renaming Sets
In: Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings, ed. by Iliano Cervesato and Helmut Veith and Andrei Voronkov, vol. 5330, pp. 158-173, Springer. Lecture Notes in Computer Science (ISBN: 978-3-540-89438-4).

Hasegawa, M, Hofmann, M, and Plotkin, GD (2008).
Finite Dimensional Vector Spaces Are Complete for Traced Symmetric Monoidal Categories
In: Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, ed. by Arnon Avron and Nachum Dershowitz and Alexander Rabinovich, vol. 4800, pp. 367-385, Springer. Lecture Notes in Computer Science (ISBN: 978-3-540-78126-4).

Hofmann, M and Schöpp, U (2008).
Pure Pointer Programs with Iteration
In: Computer Science Logic, 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings, ed. by Michael Kaminski and Simone Martini, vol. 5213, pp. 79-93, Springer. Lecture Notes in Computer Science (ISBN: 978-3-540-87530-7).

Lago, UD and Hofmann, M (2008).
A Semantic Proof of Polytime Soundness of Light Affine Logic
In: Computer Science - Theory and Applications, Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008, Proceedings, ed. by Edward A. Hirsch and Alexander A. Razborov and Alexei L. Semenov and Anatol Slissenko, vol. 5010, pp. 134-145, Springer. Lecture Notes in Computer Science (ISBN: 978-3-540-79708-1).

Benton, N, Kennedy, A, Beringer, L, and Hofmann, M (2007).
Relational semantics for effect-based program transformations with dynamic allocation
In: Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 14-16, 2007, Wroclaw, Poland, ed. by Michael Leuschel and Andreas Podelski, pp. 87-96, ACM (ISBN: 978-1-59593-769-8).

Beringer, L and Hofmann, M (2007).
Secure information flow and program logics
In: 20th IEEE Computer Security Foundations Symposium, CSF 2007, 6-8 July 2007, Venice, Italy, pp. 233-248, IEEE Computer Society.

Beringer, L, Hofmann, M, and Pavlova, M (2007).
Certification Using the Mobius Base Logic
In: Formal Methods for Components and Objects, 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures, ed. by Frank S. de Boer and Marcello M. Bonsangue and Susanne Graf and Willem P. de Roever, vol. 5382, pp. 25-51, Springer. Lecture Notes in Computer Science (ISBN: 978-3-540-92187-5).

Document Actions


Funktionsleiste