Sciweavers

4722 search results - page 386 / 945
» Representation-independent program analysis
Sort
View
EUROGP
2010
Springer
167views Optimization» more  EUROGP 2010»
15 years 7 months ago
An Analysis of Genotype-Phenotype Maps in Grammatical Evolution
We present an analysis of the genotype-phenotype map in Grammatical Evolution (GE). The standard map adopted in GE is a depth-first expansion of the non-terminal symbols during the...
David Fagan, Michael O'Neill, Edgar Galván ...
AML
2007
77views more  AML 2007»
15 years 6 months ago
Complex analysis in subsystems of second order arithmetic
Abstract. This research is motivated by the program of Reverse Mathematics. We investigate basic part of complex analysis within some weak subsystems of second order arithmetic, in...
Keita Yokoyama
CORR
2004
Springer
85views Education» more  CORR 2004»
15 years 6 months ago
A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree
It is well-known that freeness and linearity information positively interact with aliasing information, allowing both the precision and the efficiency of the sharing analysis of l...
Patricia M. Hill, Enea Zaffanella, Roberto Bagnara
COLING
2002
15 years 6 months ago
Automatic Linguistic Analysis for Language Teachers: The Case of Zeros
This paper presents the Natural Language Processing-based linguistic analysis tool that we have developed for Japanese as a Second Language teachers. This program, Zero Detector (...
Mitsuko Yamura-Takei, Miho Fujiwara, Makoto Yoshie...
SQJ
2002
90views more  SQJ 2002»
15 years 6 months ago
Critical Analysis of the PIE Testability Technique
Abstract. The work of Voas and colleagues has introduced, refined and applied the propagation, infection and execution (PIE) analysis technique for measuring testability of program...
Zuhoor A. Al-Khanjari, Martin R. Woodward, Haider ...