718 search results - page 66 / 144 » Extraction of Structured Programs from Specification Proofs |
ICSM
1999
IEEE
14 years 1 months ago
1999
IEEE
Software systems are typically modified in order to extend or change their functionality, improve their performance, port them to different platforms, and so on. For developers, i...
IWVF
2001
Springer
14 years 1 months ago
2001
Springer
In the framework of an evolutionary approach to machine learning, this paper presents the preliminary version of a learning system that uses Genetic Programming as a tool for autom...
LPAR
2000
Springer
14 years 10 days ago
2000
Springer
We present the rational construction of a generic domain for structural information analysis of real CLP languages called Pattern(D ), where the parameter D is an abstract domain s...
APBC
2004
13 years 10 months ago
2004
Protein structure prediction is considered to be the holy grail of bioinformatics. Ab initio and homology modelling are two important groups of methods used in protein structure p...
LDTA
2010
13 years 6 months ago
2010
This paper investigates the suitability of contemporary DSL tools in the context of enterprise software development. The main focus is on integration issues between the DSL tool, ...