|
Volumn SE-11, Issue 8, 1985, Pages 784-794
|
SYMBOLIC SEMANTICS AND PROGRAM REDUCTION.
a a a a |
Author keywords
[No Author keywords available]
|
Indexed keywords
COMPUTER PROGRAMMING LANGUAGES;
ABSTRACT DATA TYPES;
FUNCTIONAL PROGRAMS;
PROGRAM TRANSFORMATIONS;
SYMBOLIC EVALUATION;
AUTOMATA THEORY;
|
EID: 0022103804
PISSN: 00985589
EISSN: None
Source Type: Journal
DOI: 10.1109/TSE.1985.232527 Document Type: Article |
Times cited : (10)
|
References (17)
|