703 search results - page 111 / 141 » Automatic Generation of Block-Recursive Codes |
TSE
2008
13 years 7 months ago
2008
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...
OOPSLA
2007
Springer
14 years 1 months ago
2007
Springer
Java bug finders perform static analysis to find implementation mistakes that can lead to exploits and failures; Java compilers perform static analysis for optimization. If Java...
W4A
2006
ACM
14 years 1 months ago
2006
ACM
Developing Web pages following established standards can make the information more accessible, their rendering more efficient, and their processing by computer applications easier...
SIGMOD
2008
ACM
14 years 7 months ago
2008
ACM
In this paper, we present Spade - the System S declarative stream processing engine. System S is a large-scale, distributed data stream processing middleware under development at ...
ECIR
2008
Springer
13 years 8 months ago
2008
Springer
More and more documents on the World Wide Web are based on templates. On a technical level this causes those documents to have a quite similar source code and DOM tree structure. G...