4940 search results - page 295 / 988 » On the Complexity of Universal Programs |
132
click to vote
ERSHOV
2003
Springer
15 years 12 months ago
2003
Springer
Despite practical successes with the Futamura projections, it has been an open question whether target programs produced by specializing interpreters can always be as efficient as ...
170
click to vote
APLAS
2006
ACM
15 years 10 months ago
2006
ACM
Abstract. We present a type and effect system for a multi-staged language with exceptions. The proposed type and effect system checks if we safely synthesize complex controls with ...
161
click to vote
EH
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper reviews the use of genetic programming as an automated invention machine for the synthesis of both the topology and sizing of analog electrical circuits. The paper focu...
152
click to vote
APSEC
2001
IEEE
15 years 10 months ago
2001
IEEE
Computer software now controls critical systems worldwide. International standards require such programs to be produced from mathematically-precise specifications, but the techniq...
161
Voted
CLIMA
2007
15 years 8 months ago
2007
Over the years, Logic Programming has proved to be a good and natural tool for expressing, querying and manipulating explicit knowledge in many areas of computer science. However, ...