570 search results - page 95 / 114 » From Program Verification to Program Synthesis |
ICSE
2008
IEEE-ACM
14 years 11 months ago
2008
IEEE-ACM
Inspections can be made more cost-effective by using capturerecapture methods to estimate post-inspection defects. Previous capture-recapture studies of inspections used relativel...
POPL
2009
ACM
14 years 11 months ago
2009
ACM
This paper presents a type-based solution to the long-standing problem of object initialization. Constructors, the conventional mechanism for object initialization, have semantics...
POPL
2009
ACM
14 years 11 months ago
2009
ACM
Speed improvements in today's processors have largely been delivered in the form of multiple cores, increasing the importance of ions that ease parallel programming. Software...
CADE
2005
Springer
14 years 10 months ago
2005
Springer
In today's society, people have very little control over what kinds of personal data are collected and stored by various agencies in both the private and public sectors. We de...
BMCBI
2006
13 years 10 months ago
2006
Background: Even though real-time PCR has been broadly applied in biomedical sciences, data processing procedures for the analysis of quantitative real-time PCR are still lacking;...