4722 search results - page 454 / 945 » Encoding Program Executions |
292
Voted
POPL
2006
ACM
16 years 6 months ago
2006
ACM
We present staged allocation, a technique for specifying calling conventions by composing tiny allocators called stages. A specification written using staged allocation has a prec...
147
click to vote
FASE
2009
Springer
16 years 1 months ago
2009
Springer
Security automata are a convenient way to describe security policies. Their typical use is to monitor the execution of an application, and to interrupt it as soon as the security p...
143
click to vote
CPAIOR
2009
Springer
16 years 28 days ago
2009
Springer
Open forms of global constraints allow the addition of new variables to an argument during the execution of a constraint program. Such forms are needed for difficult constraint pro...
148
click to vote
FM
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. Programming errors found early are the cheapest. Tools applying to the early stage of code development exist but either they suffer from false positives (“noise”) or...
158
click to vote
COMPSAC
2008
IEEE
16 years 25 days ago
2008
IEEE
Path-oriented Random Testing (PRT) aims at generating a uniformly spread out sequence of random test data that activate a single control flow path within an imperative program. T...