6274 search results - page 186 / 1255 » Proofs, Programs, Processes |
170
click to vote
IWPC
2009
IEEE
16 years 1 months ago
2009
IEEE
The classical comprehension theories study relations between extensions, intensions, and names. Originally developed in linguistics and mathematics, these theories are applicable ...
196
click to vote
AAAI
1992
15 years 7 months ago
1992
The goal in automatic programming is to get a computer to perform a task by telling it what needs to be done, rather than by explicitly programming it. This paper considers the ta...
202
click to vote
AIIA
1995
Springer
15 years 10 months ago
1995
Springer
Genetic Programming (GP) is a method of automatically inducing programs by representing them as parse trees. In theory, programs in any computer languages can be translated to par...
157
click to vote
AAAI
2008
15 years 8 months ago
2008
Answer-set programming (ASP) is widely recognised as a viable tool for declarative problem solving. However, there is currently a lack of tools for developing answer-set programs....
198
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
We present four coinductive operational semantics for the While language accounting for both terminating and non-terminating program runs: big-step and small-step relational semant...