|
|
Volumn 7, Issue 3, 1994, Pages 306-317
|
|
Set-based analysis of ML programs
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
ALGORITHMS;
APPROXIMATION THEORY;
COMPUTATIONAL LINGUISTICS;
HIGH LEVEL LANGUAGES;
LOGIC PROGRAMMING;
OPTIMIZATION;
SET THEORY;
ARRAY BOUNDS CHECKS;
COMPILE TIME ANALYSIS;
CONTROL FLOW;
FUNCTIONAL LANGUAGES;
ML PROGRAMS;
PROGRAM ANALYSIS;
REASONING;
SET OPERATIONAL SEMANTICS;
COMPUTER SOFTWARE;
|
|
EID: 0028464908
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: 10.1145/182409.182495 Document Type: Conference Paper |
|
Times cited : (123)
|
|
References (30)
|
