| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Martin Hofmann |
Schema-Guided Inductive Functional Programming - Through Automatic Detection of Type Morphisms.  |
KI  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Hofmann, Dulma Rodriguez |
Linear Constraints over Infinite Trees. |
LPAR |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Hofmann, Benjamin C. Pierce, Daniel Wagner |
Edit lenses. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Dal Lago, Martin Hofmann |
Realizability models and implicit complexity. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Hoffmann 0002, Klaus Aehlig, Martin Hofmann |
Multivariate amortized resource analysis. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Hofmann, Benjamin C. Pierce, Daniel Wagner |
Symmetric lenses. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Hofmann (eds.) |
Foundations of Software Science and Computational Structures - 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings |
FOSSACS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Dal Lago, Martin Hofmann |
Bounded Linear Logic, Revisited |
Logical Methods in Computer Science |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Dal Lago, Martin Hofmann |
A Semantic Proof of Polytime Soundness of Light Affine Logic. |
Theory Comput. Syst. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Hofmann, Ulrich Schöpp |
Pure pointer programs with iteration. |
ACM Trans. Comput. Log. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lennart Beringer, Robert Grabowski, Martin Hofmann |
Verifying Pointer and String Analyses with Region Type Systems. |
LPAR (Dakar) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Hofmann, Aleksandr Karbyshev, Helmut Seidl |
What Is a Pure Functional? |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen Jost, Kevin Hammond, Hans-Wolfgang Loidl, Martin Hofmann |
Static determination of quantitative resource usage for higher-order programs. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
resource analysis, functional programming, types |
| 1 | Jan Hoffmann 0002, Martin Hofmann |
Amortized Resource Analysis with Polymorphic Recursion and Partial Big-Step Operational Semantics. |
APLAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Baillot, Martin Hofmann |
Type inference in intuitionistic linear logic. |
PPDP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Hofmann, Aleksandr Karbyshev, Helmut Seidl |
Verifying a Local Generic Solver in Coq. |
SAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Wirsing, Martin Hofmann, Axel Rauschmayer (eds.) |
Trustworthly Global Computing - 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers |
TGC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Hoffmann 0002, Martin Hofmann |
Amortized Resource Analysis with Polynomial Potential. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Dal Lago, Martin Hofmann |
Bounded Linear Logic, Revisited. |
TLCA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen Jost, Hans-Wolfgang Loidl, Kevin Hammond, Norman Scaife, Martin Hofmann |
"Carbon Credits" for Resource-Bounded Computations Using Amortised Analysis. |
FM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nick Benton, Andrew Kennedy, Lennart Beringer, Martin Hofmann |
Relational semantics for effect-based program transformations: higher-order store. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
higher-order store, logical relation, side effect |
| 1 | Martin Hofmann, Ulrich Schöpp |
Pointer Programs and Undirected Reachability. |
LICS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Hofmann, Dulma Rodriguez |
Efficient Type-Checking for Amortised Heap-Space Analysis. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
Resource analysis, Semantics, OOP, Type systems |
| 1 | Ulrich Schöpp, Martin Hofmann |
Pointer Programs and Undirected Reachability. |
Electronic Colloquium on Computational Complexity (ECCC) |
2008 |
DBLP BibTeX RDF |
|
| 1 | Lennart Beringer, Martin Hofmann |
Secure information flow and program logics. |
Archive of Formal Proofs |
2008 |
DBLP BibTeX RDF |
|
| 1 | Lennart Beringer, Martin Hofmann |
A Bytecode Logic for JML and Types. |
Archive of Formal Proofs |
2008 |
DBLP BibTeX RDF |
|
| 1 | David Aspinall, Martin Hofmann, Michal Konecný |
A type system with usage aspects. |
J. Funct. Program. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Dal Lago, Martin Hofmann |
A Semantic Proof of Polytime Soundness of Light Affine Logic. |
CSR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Murdoch James Gabbay, Martin Hofmann |
Nominal Renaming Sets. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
Nominal renaming sets, nominal sets, abstract syntax with binding |
| 1 | Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett |
08061 Executive Summary -- Types, Logics and Semantics for State. |
Types, Logics and Semantics for State |
2008 |
DBLP BibTeX RDF |
|
| 1 | Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett (eds.) |
Types, Logics and Semantics for State, 03.02. - 08.02.2008 |
Types, Logics and Semantics for State |
2008 |
DBLP BibTeX RDF |
|
| 1 | Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett |
08061 Abstracts Collection -- Types, Logics and Semantics for State. |
Types, Logics and Semantics for State |
2008 |
DBLP BibTeX RDF |
|
| 1 | Masahito Hasegawa, Martin Hofmann, Gordon D. Plotkin |
Finite Dimensional Vector Spaces Are Complete for Traced Symmetric Monoidal Categories. |
Pillars of Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Hofmann, Ulrich Schöpp |
Pure Pointer Programs with Iteration. |
CSL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | David Aspinall, Lennart Beringer, Martin Hofmann, Hans-Wolfgang Loidl, Alberto Momigliano |
A program logic for resources. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Hofmann, Matthias Felleisen (eds.) |
Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007, Nice, France, January 17-19, 2007 |
POPL |
2007 |
DBLP BibTeX RDF |
|
| 1 | Lennart Beringer, Martin Hofmann, Mariela Pavlova |
Certification Using the Mobius Base Logic. |
FMCO |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Lennart Beringer, Martin Hofmann |
Secure information flow and program logics. |
CSF |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Nick Benton, Andrew Kennedy, Lennart Beringer, Martin Hofmann |
Relational semantics for effect-based program transformations with dynamic allocation. |
PPDP |
2007 |
DBLP DOI BibTeX RDF |
region analysis, program transformation, parametricity, logical relations, type and effect systems |
| 1 | Martin Hofmann, Mariela Pavlova |
Elimination of Ghost Variables in Program Logics. |
TGC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Hofmann, Hans-Wolfgang Loidl |
Preface. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Hofmann, Jaap van Oosten, Thomas Streicher |
Well-foundedness in Realizability. |
Arch. Math. Log. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Bucalo, Furio Honsell, Marino Miculan, Ivan Scagnetto, Martin Hofmann |
Consistency of the theory of contexts. |
J. Funct. Program. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Nick Benton, Andrew Kennedy, Martin Hofmann, Lennart Beringer |
Reading, Writing and Relations. |
APLAS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Lennart Beringer, Martin Hofmann |
A Bytecode Logic for JML and Types. |
APLAS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Barthe, Lennart Beringer, Pierre Crégut, Benjamin Grégoire, Martin Hofmann, Peter Müller, Erik Poll, Germán Puebla, Ian Stark, Eric Vétillard |
MOBIUS: Mobility, Ubiquity, Security. |
TGC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Hammond, Christian Ferdinand, Reinhold Heckmann, Roy Dyckhoff, Martin Hofmann, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Robert F. Pointon, Norman Scaife, Jocelyn Sérot, Andy Wallace |
Towards Formally Verifiable WCET Analysis for a Functional Programming Language. |
WCET |
2006 |
DBLP BibTeX RDF |
|
| 1 | Christian Dax, Martin Hofmann, Martin Lange |
A Proof System for the Linear Time µ-Calculus. |
FSTTCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Hofmann, Steffen Jost |
Type-Based Amortised Heap-Space Analysis. |
ESOP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Hofmann, Pawel Urzyczyn |
Typed Lambda Calculi and Applications 2003, Selected Papers. |
Fundam. Inform. |
2005 |
DBLP BibTeX RDF |
|
| 1 | Ugo Dal Lago, Martin Hofmann |
Quantitative Models and Implicit Complexity |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Donald Sannella, Martin Hofmann, David Aspinall, Stephen Gilmore, Ian Stark, Lennart Beringer, Hans-Wolfgang Loidl, Kenneth MacKenzie, Alberto Momigliano, Olha Shkaravska |
Mobile Resource Guarantees (project evaluation paper). |
Trends in Functional Programming |
2005 |
DBLP BibTeX RDF |
|
| 1 | Kevin Hammond, Roy Dyckhoff, Christian Ferdinand, Reinhold Heckmann, Martin Hofmann, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Robert F. Pointon, Norman Scaife, Jocelyn Sérot, Andy Wallace |
The Embounded project (project start paper). |
Trends in Functional Programming |
2005 |
DBLP BibTeX RDF |
|
| 1 | Martin Hofmann |
Proof-Theoretic Approach to Description-Logic. |
LICS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Dal Lago, Martin Hofmann |
Quantitative Models and Implicit Complexity. |
FSTTCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Hofmann, Philip J. Scott |
Realizability models for BLL-like languages. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Aehlig, Ulrich Berger, Martin Hofmann, Helmut Schwichtenberg |
An arithmetic for non-size-increasing polynomial-time computation. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Hötzel Escardó, Martin Hofmann, Thomas Streicher |
On the non-sequential nature of the interval-domain model of real-number computation. |
Mathematical Structures in Computer Science |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Lennart Beringer, Martin Hofmann, Alberto Momigliano, Olha Shkaravska |
Automatic Certification of Heap Consumption. |
LPAR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Hofmann |
What Do Program Logics and Type Systems Have in Common? |
ICALP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | David Aspinall, Stephen Gilmore, Martin Hofmann, Donald Sannella, Ian Stark |
Mobile Resource Guarantees for Smart Devices. |
CASSIS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | David Aspinall, Lennart Beringer, Martin Hofmann, Hans-Wolfgang Loidl, Alberto Momigliano |
A Program Logic for Resource Verification. |
TPHOLs |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jirí Adámek, Martín Hötzel Escardó, Martin Hofmann |
Preface. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Hofmann |
Linear types and non-size-increasing polynomial time computation. |
Inf. Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Hofmann (eds.) |
Typed Lambda Calculi and Applications, 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings. |
TLCA |
2003 |
DBLP BibTeX RDF |
|
| 1 | Martin Hofmann |
Certification of Memory Usage. |
ICTCS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Hofmann, Steffen Jost |
Static prediction of heap space usage for first-order functional programs. |
POPL |
2003 |
DBLP DOI BibTeX RDF |
program analysis, functional programming, garbage collection, resources, heap |
| 1 | Martin Hofmann, Benjamin C. Pierce |
Type Destructors. |
Inf. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Hofmann, Thomas Streicher |
Completeness of Continuation Models for lambda-mu-Calculus. |
Inf. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Bellantoni, Martin Hofmann |
A New "Feasible" Arithmetic. |
J. Symb. Log. |
2002 |
DBLP BibTeX RDF |
|
| 1 | Martin Hofmann |
The strength of non-size increasing computation. |
POPL |
2002 |
DBLP DOI BibTeX RDF |
computational complexity, semantics, higher-order functions, finite model |
| 1 | David Aspinall, Martin Hofmann |
Another Type System for In-Place Update. |
ESOP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Hofmann |
From Bounded Arithmetic to Memory Management: Use of Type Theory to Capture Complexity Classes and Space Behaviour. |
TLCA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Hofmann |
The Strength of Non-size-increasing Computation (Introduction and Summary). |
MFCS |
2001 |
DBLP DOI BibTeX RDF |
semantics AMS Classification: 03D15, 03C13, computational complexity, 68Q15, higher-order functions, finite model, 68Q55 |
| 1 | Thorsten Altenkirch, Peter Dybjer, Martin Hofmann, Philip J. Scott |
Normalization by Evaluation for Typed Lambda Calculus with Coproducts. |
LICS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Hofmann |
Safe recursion with higher types and BCK-algebra. |
Ann. Pure Appl. Logic |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Hofmann |
Programming languages capturing complexity classes. |
SIGACT News |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Hofmann |
A Type System for Bounded Space and Functional In-Place Update. |
Nord. J. Comput. |
2000 |
DBLP BibTeX RDF |
|
| 1 | Martin Hofmann, Francis Tang |
Implementing a Program Logic of Objects in a Higher-Order Logic Theorem Prover. |
TPHOLs |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Hofmann |
A Type System for Bounded Space and Functional In-Place Update--Extended Abstract. |
ESOP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Hofmann, Giuseppe Rosolini, Dusko Pavlovic |
Preface. |
Electr. Notes Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Thierry Coquand, Martin Hofmann |
A new method for establishing conservativity of classical systems over their intuitionistic version. |
Mathematical Structures in Computer Science |
1999 |
DBLP BibTeX RDF |
|
| 1 | Martin Hofmann |
Semantics of Linear/Modal Lambda Calculus. |
J. Funct. Program. |
1999 |
DBLP BibTeX RDF |
|
| 1 | Martin Hofmann |
Semantical Analysis of Higher-Order Abstract Syntax. |
LICS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Hofmann |
Linear Types and Non-Size-Increasing Polynomial Time Computation. |
LICS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Hofmann, Wolfgang Naraschewski, Martin Steffen, Terry Stroup |
Inheritance of Proofs. |
TAPOS |
1998 |
DBLP BibTeX RDF |
|
| 1 | Martin Hofmann |
An application of category-theoretic semantics to the characterisation of complexity classes using higher-order function algebras. |
Bulletin of Symbolic Logic |
1997 |
DBLP BibTeX RDF |
|
| 1 | Martin Hofmann |
Extensional constructs in intensional type theory. |
|
1997 |
RDF |
|
| 1 | Martin Hofmann, Thomas Streicher |
Continuation Models are Universal for Lambda-Mu-Calculus. |
LICS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Hofmann |
A Mixed Modal/Linear Lambda Calculus with Applications to Bellantoni-Cook Safe Recursion. |
CSL |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Hofmann, Donald Sannella |
On Behavioural Abstraction and Behavioural Satisfaction in Higher-Order Logic. |
Theor. Comput. Sci. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Hofmann, Benjamin C. Pierce |
Positive Subtyping. |
Inf. Comput. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Thorsten Altenkirch, Martin Hofmann, Thomas Streicher |
Reduction-Free Normalisation for a Polymorphic System. |
ISTCS |
1996 |
DBLP BibTeX RDF |
|
| 1 | Thorsten Altenkirch, Martin Hofmann, Thomas Streicher |
Reduction-Free Normalisation for a Polymorphic System. |
LICS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Hofmann |
Sound and Complete Axiomatisations of Call-by-Value Control Operators. |
Mathematical Structures in Computer Science |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Hofmann, Benjamin C. Pierce |
A Unifying Type-Theoretic Framework for Objects. |
J. Funct. Program. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Hofmann |
A Simple Model for Quotient Types. |
TLCA |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Hofmann, Donald Sannella |
On Behavioral Abstraction and Behavioural Satisfaction in Higher-Order Logic. |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Hofmann, Benjamin C. Pierce |
Positive Subtyping. |
POPL |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Hofmann |
Conservativity of Equality Reflection over Intensional Type Theory. |
TYPES |
1995 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")