|
|
Volumn 7, Issue 3, 1994, Pages 318-327
|
|
Equational framework for the flow analysis of higher order functional programs
a
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
COMPUTATIONAL LINGUISTICS;
CONTROL SYSTEM ANALYSIS;
DATA STRUCTURES;
FLOWCHARTING;
HIGH LEVEL LANGUAGES;
NUMERICAL METHODS;
PATTERN RECOGNITION;
RESPONSE TIME (COMPUTER SYSTEMS);
ABSTRACTION;
ABSTRACTION INTERPRETATION;
CONTROL FLOW ANALYSIS;
EQUATIONAL FRAMEWORK;
FLOW ANALYSIS;
HIGH ORDER FUNCTIONAL PROGRAMS;
MONOTONIC EQUATIONS;
OPERATIONAL SEMANTICS;
PROGRAM'S RUNTIME ENVIRONMENT;
REWRITING SYSTEM;
COMPUTER SOFTWARE;
|
|
EID: 0028466639
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: 10.1145/182590.182497 Document Type: Conference Paper |
|
Times cited : (9)
|
|
References (32)
|
