An Intensional Investigation of Parallelism (1994)

Cached

Download Links

by Denis Dancanet

Active Bibliography

10 Sequential Algorithms, Deterministic Parallelism, and Intensional Expressiveness – Stephen Brookes, Denis Dancanet - 1995
39 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
24 A sized time system for a parallel functional language – Hans-wolfgang Loidl, Kevin Hammond - 2003
38 Automatic Accurate Time-Bound Analysis for High-Level Languages – Yanhong Liu, Gustavo Gomez - 1998
15 Automatic Accurate Cost-Bound Analysis for High-Level Languages – Yanhong A. Liu, Gustavo Gómez, Corresponding Yanhong, A. Liu, Yanhong A. Liu Gustavo Gomez - 2001
11 Towards a theory of parallel algorithms on concrete data structures – Stephen Brookes, Shai Geva - 1990
12 Continuous Functions and Parallel Algorithms on Concrete Data Structures – Stephen Brookes, Shai Geva - 1991
59 Hypercoherences: A Strongly Stable Model of Linear Logic – Thomas Ehrhard - 1993
36 The sequentially realizable functionals – John Longley
29 Domains and Denotational Semantics: History, Accomplishments and Open Problems – Marcelo Fiore, Achim Jung, Eugenio Moggi, Peter O'Hearn, Jon Riecke, Giuseppe Rosolini, Ian Stark - 1996
66 Full Abstraction for PCF (Extended Abstract) – Samson Abramsky, Pasquale Malacaria, Radha Jagadeesan - 1994
29 Games and full abstraction for nondeterministic languages – Russell S. Harmer - 1999
192 Full Abstraction for PCF – Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria - 1996
31 Kripke Logical Relations and PCF – Peter W. O'Hearn, Jon G. Riecke - 1995
23 Correspondence between Operational and Denotational Semantics – C. -h. L. Ong - 1995
4 CostDriven Autonomous Mobility – Xiao Yan Deng, Greg Michaelson, Phil Trinder - 2007
Automatically Costed Autonomous Mobility – Xiao Yan Deng, Phil Trinder, Greg Michaelson