3971 search results - page 467 / 795 » On the Use of Properties in Java Applications |
196
click to vote
PRICAI
2004
Springer
16 years 19 days ago
2004
Springer
Abstract. A successful case of applying brute-force search to functional programming automation is presented and compared with a conventional genetic programming method. From the i...
192
click to vote
FM
2003
Springer
16 years 15 days ago
2003
Springer
Counterexamples explain why a desired temporal logic property fails to hold, and as such are considered to be the most useful form of output from model-checkers. Multi-valued model...
176
click to vote
KBSE
1999
IEEE
15 years 11 months ago
1999
IEEE
CYNTHIA is a novel editor for the functional programming language ML in which each function definition is represented as the proof of a simple specification. Users of CYNTHIA edit...
228
click to vote
AGP
2010
IEEE
15 years 11 months ago
2010
IEEE
We present an overview of the program transformation techniques which have been proposed over the past twenty-five years in the context of logic programming. We consider the appro...
184
click to vote
MABS
2000
Springer
15 years 11 months ago
2000
Springer
Multi Agent Based Simulation (MABS) has been used mostly in purely social contexts. However, compared to other approaches, e.g., traditional discrete event simulation, object-orien...