2496 search results - page 193 / 500 » Error-detecting properties of languages |
169
click to vote
ICFP
2012
ACM
13 years 6 months ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
282
click to vote
ICLP
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. We present a framework that unifies unit testing and runtime verification (as well as static verification and static debugging). A key contribution of our overall approac...
252
click to vote
POPL
2007
ACM
16 years 4 months ago
2007
ACM
Separation Logic, Ambient Logic and Context Logic are based on a similar style of reasoning about structured data. They each consist of a structural (separating) composition for r...
139
click to vote
POPL
2009
ACM
15 years 11 months ago
2009
ACM
Speculative execution is an important technique that has historically been used to extract concurrency from sequential programs. While techniques to support speculation work well ...
165
click to vote
ICIW
2008
IEEE
15 years 11 months ago
2008
IEEE
—With the increasing development of real applications using Semantic Web Technologies, it is necessary to provide scalable and efficient ontology querying and reasoning systems....