3713 search results - page 112 / 743 » Constructing a Calculus of Programs |
144
click to vote
GECCO
2008
Springer
15 years 4 months ago
2008
Springer
This article introduces our new approach to program representation for genetic programming (GP). We replace the usual s-expression representation scheme by a strongly-typed ion-ba...
138
click to vote
ENTCS
2008
15 years 3 months ago
2008
Thanks to recent advances, modern proof assistants now enable verification of realistic sequential programs. However, regarding the concurrency paradigm, previous work essentially...
131
click to vote
GECCO
2009
Springer
15 years 7 months ago
2009
Springer
The synthesis of stochastic processes using genetic programming is investigated. Stochastic process behaviours take the form of time series data, in which quantities of interest v...
111
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer
The refinement calculus for logic programs is a framework for deriving logic programs from specifications. It is based on a wide-spectrum language that can express both specificat...
127
click to vote
LFP
1992
15 years 4 months ago
1992
The CPS transformation dates back to the early 1970's, where it arose as a technique to represent the control flow of programs in -calculus based programming languages as -te...