4386 search results - page 171 / 878 » A Tamper-Resistant Programming Language System |
107
click to vote
CORR
2010
Springer
15 years 9 days ago
2010
Springer
The social and economic importance of large bodies of programs and data that are potentially long-lived has attracted much attention in the commercial and research communities. Her...
126
click to vote
GECCO
2009
Springer
15 years 8 months ago
2009
Springer
We describe a methodology for evolving Java bytecode, enabling the evolution of extant, unrestricted Java programs, or programs in other languages that compile to Java bytecode. B...
188
Voted
POPL
2009
ACM
16 years 2 months ago
2009
ACM
Program errors are hard to detect and are costly both to programmers who spend significant efforts in debugging, and for systems that are guarded by runtime checks. Static verific...
111
Voted
ECOOP
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. In aspect-oriented programming, pointcuts are used to describe crossstructure. Pointcuts that abstract over irrelevant implementation details are clearly desired to bette...
106
Voted
PLDI
2000
ACM
15 years 6 months ago
2000
ACM
This paper describes the implementation of a purely functional programming language for building software systems. In this language, external tools like compilers and linkers are ...