Abstract | ||
---|---|---|
SPCF is an idealized sequential programming language, based on Plotkin's languagePCF, that permits programmers and programs to observe the evaluation order of procedures. |
Year | DOI | Venue |
---|---|---|
1992 | 10.1007/3-540-56596-5_39 | REX Workshop |
Keywords | Field | DocType |
computational power,preliminary version,programming language | Programming language,Computer science | Conference |
ISBN | Citations | PageRank |
3-540-56596-5 | 2 | 0.39 |
References | Authors | |
13 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ramarao Kanneganti | 1 | 5 | 0.88 |
Robert Cartwright | 2 | 529 | 67.27 |
Matthias Felleisen | 3 | 3001 | 272.57 |