32032 search results - page 87 / 6407 » Verified programming in Guru |
ICFP
2006
ACM
16 years 22 days ago
2006
ACM
In previous work, we proposed a Hoare Type Theory (HTT) which combines effectful higher-order functions, dependent types and Hoare Logic specifications into a unified framework. H...
112
click to vote
POPL
2000
ACM
15 years 5 months ago
2000
ACM
Certified code is a general mechanism for enforcing security properties. In this paradigm, untrusted mobile code carries annotations that allow a host to verify its trustworthine...
SAC
2010
ACM
15 years 7 months ago
2010
ACM
Program bugs remain a major challenge for software developers and various tools have been proposed to help with their localization and elimination. Most present-day tools are base...
94
Voted
ISSTA
2009
ACM
15 years 7 months ago
2009
ACM
Atomicity is a key correctness specification for multithreaded programs. Prior dynamic atomicity analyses include precise tools, which report an error if and only if the observed...
81
Voted
GPCE
2008
Springer
15 years 1 months ago
2008
Springer
Feature modules are the building blocks of programs in software product lines (SPLs). A foundational assumption of feature-based program synthesis is that features are composed in...