9 search results - page 1 / 2 » Certificate Translation |
CADE
2008
Springer
15 years 10 months ago
2008
Springer
111
click to vote
ICFEM
2009
Springer
14 years 7 months ago
2009
Springer
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...
80
Voted
FOAL
2008
ACM
14 years 11 months ago
2008
ACM
Aspect Oriented Programming (AOP) has significant potential to separate functionality and cross-cutting concerns. In particular, AOP supports an incremental development process, i...
57
Voted
ESOP
2008
Springer
14 years 11 months ago
2008
Springer
65
Voted
FOSAD
2008
Springer
14 years 11 months ago
2008
Springer