Polymorphic Time Systems for Estimating Program Complexity (1991)

by Vincent Dornic , Pierre Jouvelot , David K. Gifford
Venue:IN JTASPEFL'91
Citations:22 - 6 self

Active Bibliography

Analyse Statique Comportementale des Langages de Programmation. – Analyse Statique Comportementale, Pierre Jouvelot, Ffl David K. Gifford (mit, Ffl Phil Wadler (glasgow U, De Bureau Fran��cois Irigoin, Corinne Ancourt, Ronan Keryell, Michel Lenci, Robert Mahl, Jacqueline Altimira, Annie Pech-ripaud, Et Mes 'etudiants
jury compose de: – Pierre Jouvelot, Patrick Cousot (ens, Paul Feautrier (paris Vi, David K. Gi Ord (mit, De Bureau Francois Irigoin, Remi Triolet, Corinne Ancourt, Ronan Keryell, Michel Lenci, Robert Mahl, Jacqueline Altimira, Annie Pech-ripaud
President – These Doctorat, L'universite Paris Vi, Systemes Informatiques, Madame Corinne Ancourt, Monsieur Paul Feautrier, Monsieur Claude Girault, Monsieur Francois Irigoin, Monsieur Yves Robert, Monsieur Francois Thomasset
46 Static dependent costs for estimating execution time – Brian Reistad, David K. Gifford - 1994
A Functional Semantics for Space and Time – Catherine Hope - 2008
39 A Naïve Time Analysis and its Theory of Cost Equivalence – David Sands - 1995
Abstract Interpretation and Low-Level Code Optimization – Saumya Debray - 1995
Automatically Costed Autonomous Mobility – Xiao Yan Deng, Phil Trinder, Greg Michaelson
4 CostDriven Autonomous Mobility – Xiao Yan Deng, Greg Michaelson, Phil Trinder - 2007
48 Parallel Programming using Functional Languages – Paul Roe, M. Eng (york - 1991
57 Implementation of the typed call-by-value λ-calculus using a stack of regions – Mads Tofte - 1994
and – Mads Tofte, Jean-pierre Talpin
92 The Marriage of Effects and Monads – Philip Wadler, Peter Thiemann - 1998
16 An Extended Type System for Exceptions – Juan Carlos Guzm'an - 1994
48 A Variable Typed Logic of Effects – Furio Honsell, Ian A. Mason, Scott Smith, Carolyn Talcott - 1993
152 The Type and Effect Discipline – Jean-Pierre Talpin, Pierre Jouvelot - 1992
47 Complexity Analysis for a Lazy Higher-Order Language – David Sands - 1990
14 Multivariate Amortized Resource Analysis – Jan Hoffmann, Klaus Aehlig, Martin Hofmann - 2010
11 Type Reconstruction with First-Class Polymorphic Values – James William O'Toole, Jr., David K. Gifford - 1989