Sequential Algorithms, Deterministic Parallelism, and Intensional Expressiveness (1995)

Cached

Download Links

by Stephen Brookes , Denis Dancanet
Venue:Proc. ACM Symposium on Principles of Programming Languages
Citations:10 - 4 self

Active Bibliography

An Intensional Investigation of Parallelism – Denis Dancanet - 1994
4 Programming Language Expressiveness and Circuit Complexity – Denis Dancanet, Stephen Brookes - 1996
23 Correspondence between Operational and Denotational Semantics – C. -h. L. Ong - 1995
17 Definability and full abstraction – Pierre-Louis Curien
12 Continuous Functions and Parallel Algorithms on Concrete Data Structures – Stephen Brookes, Shai Geva - 1991
4 A stable programming language – Luca Paolini
4 Recursive Types in Games: Axiomatics and Process Representation (Extended Abstract) – Marcelo Fiore, Kohei Honda - 1998
47 Algorithmic Game Semantics – Samson Abramsky - 2001
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
12 Automatic accurate stack space and heap space analysis for high-level languages – Leena Unnikrishnan, Scott D. Stoller, Yanhong A. Liu - 2000
4 On the Expressive Power of the Loop Language – T. Crolard, S. Lacas, P. Valarcher - 2006
Sequential And Parallel Computation Strategies On Coherence Spaces – António Carlos da Rocha Costa, Ruben Gerardo, Ruben Gerardo Schneider Sellanes, Antnio Carlos, Rocha Costa
2 Stable and Sequential Functions on Scott Domains – Stephen Brookes, Shai Geva - 1992
11 Towards a theory of parallel algorithms on concrete data structures – Stephen Brookes, Shai Geva - 1990
39 A Naïve Time Analysis and its Theory of Cost Equivalence – David Sands - 1995
Games in the Semantics of Programming Languages - An Elementary Introduction – Jan Jürjens, Benedikt L Owe, Florian Rudolph (eds, Jan J Urjens - 1999
4 On the ubiquity of certain total type structures – John Longley - 2007
Playful, streamlike computation – Pierre-louis Curien - 2003
Realizability Models for Sequential Computation – John Longley - 1998