3889 search results - page 486 / 778 » The Use of Program Dependence Graphs in Software Engineering |
146
click to vote
HASKELL
2006
ACM
15 years 11 months ago
2006
ACM
Modern functional languages offer several attractive features to support development of reliable and secure software. However, in our efforts to use Haskell for systems programmin...
134
click to vote
DAC
2006
ACM
16 years 6 months ago
2006
ACM
Simulation and verification using electronic design automation (EDA) tools are key steps in the design process for communication and signal processing systems. The synchronous dat...
146
click to vote
CSIE
2009
IEEE
15 years 12 months ago
2009
IEEE
The tendency for Non-Functional Requirements (NFRs) to have a wide-ranging impact on a software system, and the strong interdependencies and tradeoffs that exist between NFRs and ...
133
click to vote
CSMR
2005
IEEE
15 years 10 months ago
2005
IEEE
Building reverse engineering or reengineering tools often requires parsers for many different programming languages. The diffusion of dialects and variants makes many available pa...
157
click to vote
PLDI
2010
ACM
15 years 10 months ago
2010
ACM
Static analysis designers must carefully balance precision and efficiency. In our experience, many static analysis tools are built around an elegant, core algorithm, but that alg...