1760 search results - page 103 / 352 » A System to Mark Programs Automatically |
109
Voted
CAV
2010
Springer
15 years 6 months ago
2010
Springer
We describe a practical method for reasoning about realistic concurrent programs. Our method allows global two-state invariants that restrict update of shared state. We provide sim...
109
Voted
FLAIRS
2006
15 years 4 months ago
2006
We propose to improve the efficiency of genetic programming, a method to automatically evolve computer programs. We use graph-based data mining to identify common aspects of highl...
126
Voted
TACAS
1997
Springer
15 years 7 months ago
1997
Springer
This paper describes a compositional approach to generate the labeled transition system representing the behavior of a Lotos program by repeatedly alternating composition and reduc...
106
Voted
EUROGP
2004
Springer
15 years 8 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 ...
141
Voted
FIDJI
2003
Springer
15 years 8 months ago
2003
Springer
— We present techniques for analyzing the source code of distributed Java applications, and building finite models of their behaviour. The models are labelled transition systems...