Derivational Complexity is an Invariant Cost Model ⋆

by Ugo Dal Lago , Simone Martini
Citations:3 - 2 self

Active Bibliography

On Constructor Rewrite Systems and the Lambda-Calculus – Ugo Dal, Lago Simone Martini - 2009
1 A Path Order for Rewrite Systems that Compute Exponential Time Functions ∗ – Martin Avanzini, Naohi Eguchi, Georg Moser
9 Closing the gap between runtime complexity and polytime computability – Martin Avanzini, Georg Moser - 2010
The Exact Hardness of Deciding Derivational and Runtime Complexity ∗ – Andreas Schnabl, Jakob Grue Simonsen
1 Higher-order Interpretations and Program Complexity (Long Version) – Patrick Baillot, Ugo Dal Lago - 2012
Technion – Eli Ben-sasson, Alessandro Chiesa, Daniel Genkin, Eran Tromer - 2012
4 Modes of Convergence for Term Graph Rewriting – Patrick Bahr
2 Convergence in Infinitary Term Graph Rewriting Systems is Simple (Extended Abstract) – Patrick Bahr - 2013
Modular Implementation of Programming Languages and a Partial-Order Approach to Infinitary Rewriting – Patrick Bahr - 2012
1 Quasi-friendly sup-interpretations – Jean-yves Marion, Romain Péchoux
9 Sup-interpretations, a semantic method for static analysis of program resources – JEAN-YVES MARION , Romain Péchoux
JEAN-YVES MARION and – Romain Péchoux - 2010
3 LAL is square: Representation and expressiveness in light affine logic – Peter Møller Neergaard, Harry G. Mairson - 2002
Backtracking – Alberto Apostolico, Giuseppe F. Italiano
2 Bisimilarity in Term Graph Rewriting – Z. M. Ariola, J. W. Klop, D. Plump, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, Zena M. Ariola, Jan Willem Klop - 1998
4 A Kernel Language For Programmed Rewriting Of (hyper)graphs – Andrea Maggiolo-Schettini, Jozef Winkowski, Instytut Podstaw, Informatyki Pan - 1996
3 Sharing in the weak lambda-calculus – Tomasz Blanc, Jean-jacques Lévy, Luc Maranget - 2005
8 A feasible algorithm for typing in elementary affine logic – Patrick Baillot, Kazushige Terui - 2005
19 Algorithms: A quest for absolute definitions – Andreas Blass, Yuri Gurevich - 2003