416 search results - page 30 / 84 » Software Code Generation for the RVC-CAL Language |
167
click to vote
INFSOF
2002
15 years 5 months ago
2002
Identifying code duplication in large multi-platform software systems is a challenging problem. This is due to a variety of reasons including the presence of high-level programmin...
222
click to vote
AOSD
2012
ACM
14 years 1 months ago
2012
ACM
Emerging languages are often source-to-source compiled to mainstream ones, which offer standardized, fine-tuned implementations of non-functional concerns (NFCs)—including pers...
205
click to vote
ACL2
2006
ACM
15 years 12 months ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
172
click to vote
ICMT
2009
Springer
16 years 13 days ago
2009
Springer
In software product line engineering, feature composition generates software tailored to specific requirements from a common set of artifacts. Superimposition is a technique to me...
149
click to vote
MODELS
2007
Springer
16 years 20 hour ago
2007
Springer
As development techniques, paradigms and platforms evolve far more quickly than domain applications, software modernization and migration, is a constant challenge to software engin...