Map Home
Type / to search with text or keywords
/
keyboard shortcut: Type "/" on your keyboard for a quick search
Search button
Loading...
Loading...
Scroll left
Grants
Citations
H-Index
Patents
News
Books
Scroll right
Collapse sidebar
Data issues & feedback
Adjust height of sidebar
KMap
Grant
Abstract Interpretation Driven Programming Languages
Active
$142K Funding
1 People
External
Related Topics
abstract interpretation,
programming languages,
static analysis,
code optimization,
software verification
People
Roberto Giacobazzi
Principal Investigator (PI)
Computer Science
﹒Professor
