175 search results - page 15 / 35 » Programming an interpreter using molecular dynamics |
157
click to vote
IWFM
1998
15 years 7 months ago
1998
We study strictly level-decreasing logic programs (sld-programs) as defined earlier by the present authors. It will be seen that sld-programs, unlike most other classes of logic p...
168
click to vote
ICFP
2002
ACM
16 years 5 months ago
2002
ACM
Even when programming in a statically typed language we every now and then encounter statically untypable values; such values result from interpreting values or from communicating...
138
click to vote
APLAS
2005
ACM
15 years 7 months ago
2005
ACM
This paper describes a sound technique that combines the precision em proving with the loop-invariant inference of abstract interpretation. The loop-invariant computations are invo...
172
click to vote
SOFTVIS
2010
ACM
15 years 6 months ago
2010
ACM
Developers must often diagnose anomalies in programs they only have a partial knowledge of. As a result, they must simultaneously reverse engineer parts of the system they are unf...
181
click to vote
GECCO
2004
Springer
15 years 11 months ago
2004
Springer
Chemical Genetic Programming (CGP) is a new method of genetic programming that introduced collision-based biochemical processes and realized dynamic mapping from genotypic strings ...