21 search results - page 5 / 5 » Functional Verification for SystemC Descriptions Using Const... |
110
Voted
PLDI
1997
ACM
15 years 1 months ago
1997
ACM
Set-based analysis is a constraint-based whole program analysis that is applicable to functional and objectoriented programming languages. Unfortunately, the analysis is useless f...