715 search results - page 12 / 143 » Automatic Programming for Sequence Control |
116
click to vote
LCTRTS
2000
Springer
15 years 5 months ago
2000
Springer
This paper presents a general approach to automatically validate code-improving transformations on low-level program representations. The approach ensures the correctness of compi...
106
click to vote
SEFM
2007
IEEE
15 years 8 months ago
2007
IEEE
of abstract interpretations in formal methods It is always very satisfying to hear about a theory, in the case at hand it is the theory of abstract interpretations, that explains i...
148
click to vote
SERP
2010
14 years 11 months ago
2010
We propose a formal method to automatically integrate security rules regarding an access control policy (expressed in Or-BAC) in Java programs. Given an untrusted application and a...
EUROGP
2004
Springer
15 years 7 months ago
2004
Springer
Despite considerable progress in GP over the past 10 years, there are many outstanding challenges that need to be addressed before it will be widely deployed for developing useful ...
110
click to vote
EUROGP
2000
Springer
15 years 5 months ago
2000
Springer
A mathematical formula containing one or more free variables is "general" in the sense that it provides a solution to an entire category of problems. For example, the fa...