MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Sequential Algorithms on Concrete Data Structures." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

7 documents found, showing 1 through 7.

ATOM

Playful, streamlike computation
by Pierre-louis Curien — 2003
… algorithms on concrete data structures in the late seventies, culminating in the design of the programming…
Add To MetaCart

Continuous Functions and Parallel Algorithms on Concrete Data Structures
by Stephen Brookes Shai, Stephen Brookes, Shai Geva — 1991 — In MFPS'91, L.N.C.S
… of deterministic concrete data structures and sequential algorithms [BC82, Cur86]. A sequential algorithm may…
Add To MetaCart

Sequential Algorithms, Deterministic Parallelism, and Intensional Expressiveness
by Stephen Brookes, Denis Dancanet — 1995 — Proc. ACM Symposium on Principles of Programming Languages
….2 Sequential algorithms and concrete data structures Sequential algorithms on concrete data structures provide…
Cited by 5 (4 self) – Add To MetaCart

Extensional semantics of program behaviour
by Guy McCusker — 2008
… the relationship between bidomain models and sequential algorithms on concrete data structures. Since sequential…
Add To MetaCart

An Intensional Investigation of Parallelism
by Denis Dancanet — 1994
… section. 3.2 Sequential algorithms on concrete data structures Some of the early efforts at defining…
Add To MetaCart

EXAMPLES
by Stephen Brookes, Shai Geva
… intensional properties 2INTENSIONAL SEMANTICS EXAMPLES • Berry-Curien sequential algorithms on concrete data…
Add To MetaCart

Game Semantics and its Applications
by Luke Ong — ICCL Summer School 2004
… Abstraction Problem for PCF: Sequential Algorithms on Concrete Data Structures, Kahn and Plotkin [KP93], Berry…
Add To MetaCart

Showing 1 through 7.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB