About
Log in
Log in?
DTU users get better search results including licensed content and discounts on order fees.
Anyone can log in and get personalized features such as favorites, tags and feeds.
DTU Findit
DTU
Close advanced
{{problem}}
By field
Using AND/OR
By author
This tool can help you build boolean queries suitable for doing a broad search for different synonyms or spellings of each word. Start via the drop-down below or just start typing in the search field.
{{ row.typeTitle }}:
(
)
Author:
Nielson
remove
Interpreted as:
title:(Interprocedural AND Control AND Flow AND Analysis)
Suggestions: Include records that partially match the query
Previous
1
-
2
of
2
Next
1
Conference paper
Interprocedural Control Flow Analysis 10.1007/3-540-49099-X_3
Proc. Esop'99 — 1999, pp. 20-39
) analysis. Several insights in Data Flow Analysis and Abstract Interpretation show how to do so for imperative programs but the techniques have not had much impact on Control Flow Analysis. We show how to incorporate a number of key insights from Data Flow Analysis (involving such advanced interprocedural
Year: 1999
Language: English
2
Journal article
Interprocedural Control Flow Analysis (Extended version) 10.7146/dpb.v27i538.7071
Year: 1998
Language: Undetermined
