3256 search results - page 160 / 652 » Mixin-Based Programming in C |
133
click to vote
ASIAN
1999
Springer
15 years 8 months ago
1999
Springer
Unfold/fold transformation systems for logic programs have been extensively investigated. Existing unfold/fold transformation systems for normal logic programs allow only Tamaki-Sa...
121
click to vote
ECOOPW
1999
Springer
15 years 8 months ago
1999
Springer
Software components o er numerous advantages in terms of development, but may give rise to ine ciency due to highly generic implementations. Program specialization can automatical...
144
click to vote
ICMLA
2007
15 years 5 months ago
2007
Gene Expression Programming (GEP) is an evolutionary algorithm that incorporates both the idea of a simple, linear chromosome of fixed length used in Genetic Algorithms (GAs) and...
117
click to vote
CAV
2009
Springer
16 years 4 months ago
2009
Springer
A new static analyzer is described, based on the analyzer Fluctuat. Its goal is to synthetize invariants for hybrid systems, encompassing a continuous environment described by a sy...
128
Voted
MEMOCODE
2003
IEEE
15 years 9 months ago
2003
IEEE
Several efficient compilation techniques have been recently proposed for the generation of sequential (C) code from Esterel programs. Consisting essentially in direct simulation ...