521 search results - page 21 / 105 » Inference of Order in Genetic Systems |
100
Voted
APLAS
2004
ACM
15 years 4 months ago
2004
ACM
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher-order programs. The ...
188
Voted
ASIAMS
2009
IEEE
15 years 5 months ago
2009
IEEE
—Reduced ordered binary decision diagram (ROBDD) is a memory-efficient data structure which is used in many applications such as synthesis, digital system, verification, testing ...
85
Voted
GECCO
2008
Springer
15 years 1 months ago
2008
Springer
We describe the application of genetic programming (GP) to a problem in pure mathematics, in the study of finite algebras. We document the production of human-competitive results...
87
Voted
VMCAI
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We study the type system introduced by Boyapati and Rinard in their paper “A Parameterized Type System for Race-Free Java Programs” and try to infer the type annotati...
88
Voted
TAPSOFT
1991
Springer
15 years 4 months ago
1991
Springer
Type inference can be phrased as constraint-solving over types. We consider an implicitly typed language equipped with recursive types, multiple inheritance, 1st order parametric ...