Title
SPCF: Its Model, Calculus, and Computational Power (Preliminary Version)
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 Kanneganti150.88
Robert Cartwright252967.27
Matthias Felleisen33001272.57