6274 search results - page 218 / 1255 » Proofs, Programs, Processes |
171
click to vote
SIGSOFT
2006
ACM
16 years 7 months ago
2006
ACM
We consider the problem if a given program satisfies a specified safety property. Interesting programs have infinite state spaces, with inputs ranging over infinite domains, and f...
182
click to vote
POPL
2010
ACM
16 years 3 months ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
299
click to vote
Book
"This is the most comprehensive and up-to-date book about integrating XML with Java. It contains over 1000 pages of detailed information on SAX, DOM, JDOM, JAXP, TrAX, XPath, ...
170
click to vote
ECOOPW
1998
Springer
15 years 10 months ago
1998
Springer
In this paper we discuss how software quality assurance is realized in Rational Objectory. Although much support is given through guidelines and checkpoints, the tool fails to prov...
201
click to vote
BMCBI
2011
15 years 1 months ago
2011
Background: Next-generation sequencing technologies have led to the high-throughput production of sequence data (reads) at low cost. However, these reads are significantly shorter...