718 search results - page 98 / 144 » Extraction of Structured Programs from Specification Proofs |
DEXAW
2003
IEEE
14 years 2 months ago
2003
IEEE
An essential problem for biologists is the processing and evaluation of BLAST results. We advocate the deployment of database technology and describe a userdriven tool, called Bla...
COMAD
2009
13 years 9 months ago
2009
The problem of information integration is discussed in the context of answering a query over the web. Querying the web requires that information from different web and other sourc...
CIKM
2006
Springer
14 years 13 days ago
2006
Springer
The wide adoption of XML has increased the interest of the database community on tree-structured data management techniques. Querying capabilities are provided through tree-patter...
SEKE
2005
Springer
14 years 2 months ago
2005
Springer
Generics (templates) attempt to unify similar program structures to avoid redundancy. How well do generics serve this purpose in practice? We try to answer this question through e...
CC
2007
Springer
14 years 2 months ago
2007
Springer
DeepWeaver-1 is a tool supporting cross-cutting program analysis and transformation components, called “weaves”. Like an aspect, a DeepWeaver weave consists of a query part, an...