1216 search results - page 146 / 244 » Hybrid type checking |
127
Voted
AOSD
2005
ACM
15 years 9 months ago
2005
ACM
Abstract. Research in the design of aspect-oriented programming languages requires a workbench that facilitates easy experimentation with new language features and implementation t...
157
click to vote
DFT
2008
IEEE
15 years 5 months ago
2008
IEEE
Side-channel attacks are nowadays a serious concern when implementing cryptographic algorithms. Powerful ways for gaining information about the secret key as well as various count...
134
click to vote
PLDI
2003
ACM
15 years 9 months ago
2003
ACM
CCured is a program transformation system that adds memory safety guarantees to C programs by verifying statically that memory errors cannot occur and by inserting run-time checks...
182
click to vote
POPL
1989
ACM
15 years 8 months ago
1989
ACM
raction that a programming language provides influences the structure and algorithmic complexity of the resulting programs: just imagine creating an artificial intelligence engine ...
203
click to vote
Publication
Multi-stage programming (MSP) is a paradigm for developing generic software that does not pay a runtime penalty for this generality. This is achieved through concise, carefully-des...