1911 search results - page 19 / 383 » Program analysis for code duplication in logic programs |
ACSAC
2007
IEEE
14 years 2 months ago
2007
IEEE
We present an extension of traditional "black box" fuzz testing using a genetic algorithm based upon a Dynamic Markov Model fitness heuristic. This heuristic allows us t...
PADL
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Provably correct compilation is an important aspect in development of high assurance software systems. In this paper we explore approaches to provably correct code genera...
CL
2000
Springer
14 years 23 days ago
2000
Springer
Logic programming rules are provided to capture the rules governing formal poetry in Spanish. The resulting logic program scans verses in Spanish to provide their metric analysis. ...
ICFEM
2004
Springer
14 years 1 months ago
2004
Springer
A formal framework for software development and analysis is presented, which aims at reducing the gap between formal specification and implementation by integrating the two and al...
IFIP
1994
Springer
14 years 15 days ago
1994
Springer