OOPSLA
2009
Springer
14 years 6 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...
OOPSLA
2009
Springer
14 years 6 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 ...
OOPSLA
2009
Springer
14 years 6 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...
OOPSLA
2009
Springer
14 years 6 months ago
2009
Springer
Side effects are both the essence and bane of imperative programming. The programmer must carefully coordinate actions to manage their side effects upon each other. Such coordinat...
OOPSLA
2009
Springer
14 years 6 months ago
2009
Springer
Model transformation languages, the cornerstone of Modelngineering, often lack mechanisms for abstraction, reuse and debugging. We propose a model transformation k providing diffe...
OOPSLA
2009
Springer
14 years 6 months ago
2009
Springer
OOPSLA
2009
Springer
14 years 6 months ago
2009
Springer
OOPSLA
2009
Springer
14 years 6 months ago
2009
Springer
OOPSLA
2009
Springer
14 years 6 months ago
2009
Springer
Objects model the world, and state is fundamental to a faithful modeling. Engineers use state machines to understand and reason about state transitions, but programming languages ...
OOPSLA
2009
Springer
14 years 6 months ago
2009
Springer
Model transformations provide a powerful capability to automate model refinements. However, the use of model transformation languages may present challenges to those who are unfami...