4722 search results - page 507 / 945 » Representation-independent program analysis |
160
click to vote
ESOP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We present a generic algorithm for solving Horn clauses through iterative specialisation. The algorithm is generic in the sense that it can be instantiated with any decid...
130
click to vote
DAGSTUHL
2008
15 years 8 months ago
2008
From 3 February to 8 February 2008, the Dagstuhl Seminar 08061 State" Conference and Research Center (IBFI), Schloss Dagstuhl. 45 researchers, with interests and expertise in ...
178
click to vote
DAGSTUHL
2001
15 years 8 months ago
2001
Abstract. Language-based security leverages program analysis and program rewriting to enforce security policies. The approach promises efficient enforcement of fine-grained access ...
142
click to vote
ISMB
2000
15 years 8 months ago
2000
The repetitive structure of genomic DNA holds many secrets to be discovered. A systematic study of repetitive DNA on a genomic or inter-genomic scale requires extensive algorithmi...
149
click to vote
WSC
1997
15 years 8 months ago
1997
As part of an ABB training program, two manufacturing engineers introduced a manufacturing facility to the benefits of modeling and simulation. The project goal was to evaluate a ...