1054 search results - page 177 / 211 » Guarded Expressions in Practice |
POPL
2011
ACM
13 years 1 months ago
2011
ACM
We define a new logic, STRAND, that allows reasoning with heapmanipulating programs using deductive verification and SMT solvers. STRAND logic (“STRucture ANd Data” logic) f...
ICDE
2008
IEEE
15 years 9 days ago
2008
IEEE
DescribeX is a visual, interactive tool for exploring the underlying structure of an XML collection. DescribeX implements a framework for creating XML summaries described using axi...
SIGSOFT
2008
ACM
14 years 11 months ago
2008
ACM
Program specifications are important for many tasks during software design, development, and maintenance. Among these, temporal specifications are particularly useful. They expres...
RECOMB
2004
Springer
14 years 11 months ago
2004
Springer
Identifying gene clusters, genomic regions that share local similarities in gene organization, is a prerequisite for many different types of genomic analyses, including operon pred...
VLDB
2007
ACM
14 years 11 months ago
2007
ACM
Although the presence of a schema enables many optimizations for operations on XML documents, recent studies have shown that many XML documents in practice either do not refer to ...