Sciweavers

346 search results - page 70 / 70
» Optimizing Terminological Reasoning for Expressive Descripti...
Sort
View
OOPSLA
2007
Springer
14 years 13 days ago
Ilea: inter-language analysis across java and c
Java bug finders perform static analysis to find implementation mistakes that can lead to exploits and failures; Java compilers perform static analysis for optimization. If Java...
Gang Tan, Greg Morrisett