14850 search results - page 2383 / 2970 » The Security of |
213
click to vote
OOPSLA
2009
Springer
16 years 1 months ago
2009
Springer
Bruce and Foster proposed the language LOOJ, an extension of Java with the notion of MyType, which represents the type of a self reference and changes its meaning along with inher...
222
click to vote
OOPSLA
2009
Springer
16 years 1 months ago
2009
Springer
Programmers build large-scale systems with multiple languages to reuse legacy code and leverage languages best suited to their problems. For instance, the same program may use Jav...
188
click to vote
OOPSLA
2009
Springer
16 years 1 months ago
2009
Springer
The high degree of complexity and autonomy of future robotic space missions, such as Mars Science Laboratory (MSL), poses serious challenges in assuring their reliability and ef...
177
click to vote
OOPSLA
2009
Springer
16 years 1 months ago
2009
Springer
Software correctness has bedeviled the field of computer science since its inception. Software complexity has increased far more quickly than our ability to control it, reaching ...
200
Voted
OOPSLA
2009
Springer
16 years 1 months ago
2009
Springer
In this paper we describe Ginger, a new language with first class support for literate programming. Literate programming refers to a philosophy that argues computer programs shou...