111 search results - page 15 / 23 » A Certifying Code Generation Phase |
204
Voted
ACMSE
2006
ACM
15 years 8 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...
197
Voted
FMICS
2009
Springer
16 years 28 days 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 + ...
177
Voted
RAID
2009
Springer
16 years 28 days 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...
116
Voted
CSMR
2006
IEEE
16 years 13 days 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 ...
254
Voted
JUCS
2006
15 years 6 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 ...