|
|
Volumn , Issue , 1992, Pages 288-298
|
|
Reasoning about programs in continuation-passing style
a
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
COMPUTATIONAL COMPLEXITY;
COMPUTATIONAL LINGUISTICS;
COMPUTER PROGRAMMING LANGUAGES;
COMPUTER SOFTWARE;
EQUIVALENCE CLASSES;
THEOREM PROVING;
CONTINUATION PASSING STYLE (CPS);
CORRESPONDENCE THEOREM;
MOGGI'S COMPUTATIONAL LAMBDA CALCULUS;
SOURCE PROGRAMS;
PROGRAM COMPILERS;
|
|
EID: 0026962493
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: 10.1145/141471.141563 Document Type: Conference Paper |
|
Times cited : (94)
|
|
References (20)
|
