Open AccessInfeasible paths in static analysis: Problems and challenges
Author(s) -
Abdalla Wasef Marashdih,
Zarul Fitri Zaaba
Publication year - 2018
Publication title -
aip conference proceedings
Language(s) - English
Resource type - Conference proceedings
SCImago Journal Rank - 0.177
H-Index - 75
eISSN - 1551-7616
pISSN - 0094-243X
DOI - 10.1063/1.5055481
Subject(s) - static analysis , computer science , process (computing) , simple (philosophy) , static program analysis , abstract interpretation , static timing analysis , software , algorithm , software development , embedded system , programming language , philosophy , epistemology
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom