|
|
Volumn , Issue , 1990, Pages 323-332
|
|
From operational semantics to abstract machines. Preliminary results
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
COMPUTER METATHEORY;
CALCULATIONS;
COMPUTATIONAL LINGUISTICS;
COMPUTATIONAL MECHANICS;
COMPUTER PROGRAMMING LANGUAGES;
DIFFERENTIATION (CALCULUS);
HIGH LEVEL LANGUAGES;
LISP (PROGRAMMING LANGUAGE);
SEMANTICS;
ABSTRACT MACHINES;
FUNCTIONAL PROGRAMMING LANGUAGES;
LAMBDA CALCULUS;
SEMANTICS;
TERM REWRITING;
FORMAL SUBSTITUTION;
HIGH LEVEL DESCRIPTION;
HIGH-LEVEL FEATURES;
OPERATIONAL SEMANTICS;
TERM REWRITING SYSTEMS;
UNTYPED LAMBDA CALCULUS;
VALUE EVALUATIONS;
COMPUTER PROGRAMMING LANGUAGES;
FUNCTIONAL PROGRAMMING;
|
|
EID: 0025555086
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: 10.1145/91556.91680 Document Type: Conference Paper |
|
Times cited : (20)
|
|
References (18)
|
