460 search results - page 39 / 92 » Computational Analysis of Move Structures in Academic Abstra... |
PPDP
2000
Springer
15 years 1 months ago
2000
Springer
an abstract domain developed by D. Jacobs and A. Langen for the analysis of logic programs, derives useful aliasing information. It is well-known that a commonly used core of tech...
ICPR
2008
IEEE
15 years 4 months ago
2008
IEEE
Acute renal rejection is the most common reason for graft (transplanted kidney) failure after kidney transplantation, and early detection is crucial to survival of function in the...
EMSOFT
2007
Springer
15 years 4 months ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...
IWCM
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Junctions play an important role in motion analysis. Approaches based on the structure tensor have become the standard for junction detection. However, the structure tens...
104
click to vote
PASTE
1999
ACM
15 years 2 months ago
1999
ACM
The principal control-flow abstraction mechanism in the Cobol language is the PERFORM statement. Normally, PERFORM statements are used in a straightforward manner to define para...