1776 search results - page 236 / 356 » Using a Logic Programming Language with Persistence and Cont... |
165
click to vote
ISSTA
2012
ACM
13 years 5 months ago
2012
ACM
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...
142
click to vote
CP
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Searching objects within a catalog is a problem of increasing importance, as the general public has access to increasing volumes of data. Constraint programming has addre...
138
click to vote
IEE
2008
15 years 3 months ago
2008
ion techniques are indispensable for the specification and verification of functional behavior of programs. In object-oriented ation languages like JML, a powerful abstraction tec...
119
Voted
ICALP
2009
Springer
16 years 3 months ago
2009
Springer
We present the first uniquely represented data structure for an external memory model of computation, a B-tree analogue called a B-treap. Uniquely represented data structures repre...
253
click to vote
POPL
2004
ACM
16 years 3 months ago
2004
ACM
For decades we have been using Chomsky's generative system of grammars, particularly context-free grammars (CFGs) and regular expressions (REs), to express the syntax of prog...