861 search results - page 43 / 173 » Symbolic Program Analysis Using Term Rewriting and Generaliz... |
239
Voted
POPL
2006
ACM
16 years 2 months ago
2006
ACM
In PLT Scheme, programs consist of modules with contracts. The latter describe the inputs and outputs of functions and objects via predicates. A run-time system enforces these pre...
104
click to vote
PPDP
2009
Springer
15 years 9 months ago
2009
Springer
Dividing the heap memory of programs into regions is the starting point of region-based memory management. In our existing work of enabling region-based memory management for Merc...
117
click to vote
DBPL
2009
Springer
15 years 9 months ago
2009
Springer
In this paper, we revisit the view based security framework for XML without imposing any of the previously considered restrictions on the class of queries, the class of DTDs, and t...
112
Voted
GECCO
2005
Springer
15 years 8 months ago
2005
Springer
We hypothesize that the relationship between parameter settings, speci cally parameters controlling mutation, and performance is non-linear in genetic programs. Genetic programmin...
99
Voted
KBSE
2007
IEEE
15 years 9 months ago
2007
IEEE
A number of researchers have proposed the use of Boolean satisfiability solvers for verifying C programs. They encode correctness checks as Boolean formulas using finitization: ...