|
|
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
|
|
40
|
A Naïve Time Analysis and its Theory of Cost Equivalence
– David Sands
- 1995
|
|
|
A Functional Semantics for Space and Time
– Catherine Hope
- 2008
|
|
|
Abstract Interpretation and Low-Level Code Optimization
– Saumya Debray
- 1995
|
|
4
|
CostDriven Autonomous Mobility
– Xiao Yan Deng, Greg Michaelson, Phil Trinder
- 2007
|
|
|
Automatically Costed Autonomous Mobility
– Xiao Yan Deng, Phil Trinder, Greg Michaelson
|
|
43
|
Parallel Programming using Functional Languages
– Paul Roe
- 1991
|
|
75
|
The Marriage of Effects and Monads
– Philip Wadler, Peter Thiemann
- 1998
|
|
53
|
Implementation of the typed call-by-value λ-calculus using a stack of regions
– Mads Tofte
- 1994
|
|
15
|
An Extended Type System for Exceptions
– Juan Carlos Guzm'an
- 1994
|
|
45
|
A Variable Typed Logic of Effects
– Furio Honsell, Ian A. Mason, Scott Smith, Carolyn Talcott
- 1993
|
|
135
|
The Type and Effect Discipline
– Jean-Pierre Talpin, Pierre Jouvelot
- 1992
|
|
43
|
Static dependent costs for estimating execution time
– Brian Reistad, David K. Gifford
- 1994
|
|
44
|
Complexity Analysis for a Lazy Higher-Order Language
– David Sands
- 1990
|
|
6
|
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
|
|
|
An Intensional Investigation of Parallelism
– Denis Dancanet
- 1994
|
