Control-Flow Analysis of Higher-Order Languages
GPTKB entity
Statements (15)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:academic_journal
|
| gptkbp:author |
gptkb:Olin_Shivers
|
| gptkbp:citation |
highly cited
|
| gptkbp:field |
gptkb:programming_language
static analysis |
| gptkbp:focusesOn |
higher-order functions
control-flow analysis |
| https://www.w3.org/2000/01/rdf-schema#label |
Control-Flow Analysis of Higher-Order Languages
|
| gptkbp:influenced |
subsequent research in static analysis
|
| gptkbp:language |
English
|
| gptkbp:publicationYear |
1991
|
| gptkbp:publishedIn |
gptkb:ACM_SIGPLAN_Conference_on_Programming_Language_Design_and_Implementation_(PLDI)
|
| gptkbp:url |
https://dl.acm.org/doi/10.1145/113445.113450
|
| gptkbp:bfsParent |
gptkb:Olin_Shivers
|
| gptkbp:bfsLayer |
6
|