1205 search results - page 75 / 241 » Program Extraction from Large Proof Developments |
GECCO
2007
Springer
15 years 7 months ago
2007
Springer
In nature, systems with enormous numbers of components (i.e. cells) are evolved from a relatively small genotype. It has not yet been demonstrated that artificial evolution is su...
JOT
2007
15 years 1 months ago
2007
Interface-based programming, i.e. the systematic use of interface types in variable declarations, serves the decoupling of classes and increases a program’s changeability. To ma...
CHI
2006
ACM
16 years 2 months ago
2006
ACM
A tremendous amount of semi-structured data is available today on the web but is not necessarily in a form which is suitable for a user's tasks. For example, a website may sh...
127
click to vote
INFORMATICALT
2000
15 years 1 months ago
2000
Abstract. In this paper we suggest a three-language (3L) paradigm for building the program generator models. The basis of the paradigm is a relationship model of the specification,...
122
click to vote
BMCBI
2008
15 years 1 months ago
2008
Background: DNA methylation is an important epigenetic modification of the genome. Abnormal DNA methylation may result in silencing of tumor suppressor genes and is common in a va...