111 search results - page 15 / 23 » A Certifying Code Generation Phase |
177
Voted
ACMSE
2006
ACM
15 years 7 months ago
2006
ACM
A code clone represents a sequence of statements that are duplicated in multiple locations of a program. Clones often arise in source code as a result of multiple cut/paste operat...
175
click to vote
FMICS
2009
Springer
15 years 11 months ago
2009
Springer
on Abstraction: a Lightweight Approach to Modelling Concurrency. Javier de Dios and Ricardo Peña Certified Implementation on top of the Java Virtual Machine 19:00 Social dinner + ...
145
click to vote
RAID
2009
Springer
15 years 11 months ago
2009
Springer
In this paper, we leverage the concepts of formal grammar and genetic operators to evolve malware. As a case study, we take COM infectors and design their formal grammar with produ...
100
Voted
CSMR
2006
IEEE
15 years 11 months ago
2006
IEEE
Automated formatting is an important technique for the software maintainer. It is either applied separately to improve the readability of source code, or as part of a source code ...
228
click to vote
JUCS
2006
15 years 5 months ago
2006
: Several techniques for implementing Prolog in a efficient manner have been devised since the original interpreter, many of them aimed at achieving more speed. There are two main ...