4722 search results - page 416 / 945 » Representation-independent program analysis |
188
Voted
PLDI
2005
ACM
16 years 9 days ago
2005
ACM
We present a multi-lingual type inference system for checking type safety across a foreign function interface. The goal of our system is to prevent foreign function calls from int...
164
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
In this paper, we describe a set of compiler analyses and an implementation that automatically map a sequential and un-annotated C program into a pipelined implementation, targete...
154
click to vote
ACG
2009
Springer
16 years 1 months ago
2009
Springer
Retrograde analysis is a tool for reconstructing a game tree starting from its leaves; with these techniques one can solve specific subsets of a complex game, achieving optimal pl...
168
click to vote
COMPSAC
2006
IEEE
16 years 24 days ago
2006
IEEE
There exists a large variety of techniques to detect and correct software security vulnerabilities at the source code level, including human code reviews, testing, and static anal...
188
click to vote
CSMR
2005
IEEE
16 years 11 days ago
2005
IEEE
Data mining is a technology recently used in support of software maintenance in various contexts. Our works focuses on achieving a high level understanding of Java systems without...