1173 search results - page 35 / 235 » Program Derivation Using Analogy |
CORR
2010
Springer
13 years 10 months ago
2010
Springer
Dependently typed lambda calculi such as the Logical Framework (LF) can encode relationships between terms in types and can naturally capture correspondences between formulas and ...
HASKELL
2007
ACM
14 years 2 months ago
2007
ACM
We describe the design, implementation and use of HPC, a toolkit to record and display Haskell Program Coverage. HPC includes tools that instrument Haskell programs to record prog...
ICANNGA
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. We present an approach for automated generation of proactive aggregation protocols using Genetic Programming. First a short introduction into aggregation and proactive pr...
EUROGP
1999
Springer
14 years 2 months ago
1999
Springer
Genetic programming is known to be capable of creating designs that satisfy prespecified high-level design requirements for analog electrical circuits and other complex structures...
CACM
2000
13 years 10 months ago
2000
In Programming by Example [PBE, also sometimes called "Programming by Demonstration"] systems, the system records actions performed by a user in the interface, and produ...