7167 search results - page 386 / 1434 » Answer Set Programming |
131
Voted
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
Generating a random sampling of program trees with specified function and terminal sets is the initial step of many program evolution systems. I present a theoretical and experim...
109
Voted
ERLANG
2006
ACM
15 years 9 months ago
2006
ACM
We present the new model checker McErlang for verifying Erlang programs. In comparison with the etomcrl tool set, McErlang differs mainly in that it is implemented in Erlang. The ...
109
Voted
KBSE
2003
IEEE
15 years 8 months ago
2003
IEEE
When performing a program evolution task, developers typically spend a significant amount of effort investigating and re-investigating source code. To reduce this effort, we prop...
105
Voted
ATAL
2003
Springer
15 years 8 months ago
2003
Springer
This paper presents the specification of a programming language for implementing the deliberation cycle of cognitive agents. The mental attitudes of cognitive agents are assumed ...
134
click to vote
PPOPP
1993
ACM
15 years 7 months ago
1993
ACM
The ParaScope Editor is an interactive parallel programming tool that assists knowledgeable users in developing scienti c Fortran programs. It displays the results of sophisticate...