1205 search results - page 63 / 241 » Program Extraction from Large Proof Developments |
143
click to vote
ISORC
2006
IEEE
15 years 7 months ago
2006
IEEE
Alias analysis is a method for extracting sets of expressions which may possibly refer to the same memory locations during program execution. Although many researchers have alread...
101
click to vote
ITCC
2005
IEEE
15 years 7 months ago
2005
IEEE
Access control software must be based on a security policy model. Flaws in them may come from a lack of precision or some incoherences in the policy model or from inconsistencies ...
114
click to vote
NIPS
1993
15 years 3 months ago
1993
Recent developments in the area of reinforcement learning have yielded a number of new algorithms for the prediction and control of Markovian environments. These algorithms,includ...
111
click to vote
TASE
2009
IEEE
15 years 8 months ago
2009
IEEE
—Formal verification of low-level programs often requires explicit reasoning and specification of runtime stacks. Treating stacks naively as parts of ordinary heaps can lead to...
116
click to vote
ECBS
2004
IEEE
15 years 5 months ago
2004
IEEE
: The available evidence in a legacy software system, which can help in its understanding and recovery of its architecture are not always sufficient. Very often the system's d...