8766 search results - page 449 / 1754 » Functional logic programming |
137
Voted
LCC
1994
15 years 8 months ago
1994
We demonstrate program extraction by the Light Dialectica Interpretation (LDI) on a minimal logic proof of the classical existence of Fibonacci numbers. This semi-classical proof ...
129
Voted
GECCO
2009
Springer
15 years 8 months ago
2009
Springer
A non-uniform cellular automata-based model is presented for the evolutionary development of digital circuits at the gate level. The main feature of this model is the modified lo...
164
click to vote
ICLP
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. In this doctoral work we aim at developing a new approach to labelled semantics and equivalences for the Concurrent Constraint Programming (CCP) which will enable a broad...
131
click to vote
ISMB
1994
15 years 5 months ago
1994
The recently-developedgenetic programming paradigmisused to evoIve a computer program to classify a given protein segment as being a transmembrane domainor non-uansmembranearea of...
126
click to vote
LICS
2007
IEEE
15 years 10 months ago
2007
IEEE
tion and Abstract Separation Logic Cristiano Calcagno Imperial College, London Peter W. O’Hearn Queen Mary, University of London Hongseok Yang Queen Mary, University of London S...