2722 search results - page 520 / 545 » Automating Language Evolution |
WWW
2001
ACM
16 years 12 days ago
2001
ACM
XQForms is the first generator of Web-based query forms and reports for XML data. XQForms takes as input (i) XML Schemas that model the data to be queried and presented, (ii) decl...
202
click to vote
PLDI
2009
ACM
16 years 12 days ago
2009
ACM
As computer systems continue to become more powerful and comdo programs. High-level abstractions introduced to deal with complexity in large programs, while simplifying human reas...
197
click to vote
POPL
2009
ACM
16 years 11 days ago
2009
ACM
This paper describes an inter-procedural technique for computing symbolic bounds on the number of statements a procedure executes in terms of its scalar inputs and user-defined qu...
199
click to vote
POPL
2007
ACM
16 years 1 days ago
2007
ACM
In this paper, we propose a new algorithm for proving the validity or invalidity of a pre/postcondition pair for a program. The algorithm is motivated by the success of the algori...
175
click to vote
POPL
2002
ACM
16 years 1 days ago
2002
ACM
Program verification is a promising approach to improving program quality, because it can search all possible program executions for specific errors. However, the need to formally...