|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7 occurrences of 7 keywords
|
|
|
|
|
Results
Found 5 publication records. Showing 5 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 46 | Luc Moreau 0001, Daniel Ribbens |
The Semantics of pcall and fork in the Presence of First-Class Continuations and Side-Effects.  |
PSLS  |
1995 |
DBLP DOI BibTeX RDF |
|
| 36 | David L. Rager |
Adding parallelism capabilities to ACL2. |
ACL2 |
2006 |
DBLP DOI BibTeX RDF |
pand, parallel ACL2, pcall, plet, por, granularity, functional language |
| 28 | Luc Moreau 0001 |
The PCKS-Machine: An Abstract Machine for Sound Evaluation of Parallel Functional Programs with First-Class Continuations. |
ESOP |
1994 |
DBLP DOI BibTeX RDF |
|
| 28 | Luc Moreau 0001 |
An operational semantics for a parallel functional language with continuations. |
PARLE |
1992 |
DBLP DOI BibTeX RDF |
metacontinuation, left expression, parallelism, Scheme, continuation, operational semantics, transparency |
| 28 | Takayasu Ito, Manabu Matsui |
A Parallel Lisp Language PaiLisp and Its Kernel Specification. |
Workshop on Parallel Lisp |
1989 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #5 of 5 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license