856 search results - page 120 / 172 » Dependent Types in Practical Programming |
CHI
2009
ACM
14 years 9 months ago
2009
ACM
Programmers of all types from novice end-user developers to professional software engineers make use of application programming interfaces (API) within their various designs. And,...
ECOOP
2007
Springer
14 years 21 days ago
2007
Springer
With the advent of Java 5 annotations, we note a marked increase in the availability of tools that can statically detect potential null dereferences. For such tools to be truly eff...
ICSE
2012
IEEE-ACM
11 years 11 months ago
2012
IEEE-ACM
Abstract—Key program interfaces are sometimes documented with usage examples: concrete code snippets that characterize common use cases for a particular data type. While such doc...
ISCAS
2008
IEEE
14 years 3 months ago
2008
IEEE
—Software-based self-test (SBST) is a promising new technology for at-speed testing of embedded processors in SoC systems. This paper introduces an effective and efficient new ho...
COMPSAC
2003
IEEE
14 years 2 months ago
2003
IEEE
Effectiveness of testing criteria is the ability to detect failures in a software program. We consider not only effectiveness of some testing criterion in itself but a variance of...