3809 search results - page 710 / 762 » Associative language descriptions |
201
click to vote
POPL
2009
ACM
16 years 15 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...
198
click to vote
ECOOP
2009
Springer
16 years 15 days ago
2009
Springer
To improve software productivity, when constructing new software systems, programmers often reuse existing libraries or frameworks by invoking methods provided in their APIs. Those...
CADE
2009
Springer
16 years 14 days ago
2009
Springer
The Thousands of Problems for Theorem Provers (TPTP) problem library is the basis of a well established infrastructure supporting research, development, and deployment of first-ord...
175
click to vote
VLDB
2004
ACM
16 years 2 days ago
2004
ACM
Technology in the field of digital media generates huge amounts of nontextual information, audio, video, and images, along with more familiar textual information. The potential for...
119
click to vote
POPL
2010
ACM
15 years 9 months ago
2010
ACM
We present Low-Level Liquid Types, a refinement type system for C based on Liquid Types. Low-Level Liquid Types combine refinement types with three key elements to automate verifi...