Sciweavers

OOPSLA
2009
Springer
13 years 10 months ago
Reimagining literate programming
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...
James Dean Palmer, Eddie Hillenbrand
OOPSLA
2009
Springer
13 years 10 months ago
A market-based approach to software evolution
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 ...
David F. Bacon, Yiling Chen, David C. Parkes, Malv...
OOPSLA
2009
Springer
13 years 10 months ago
Scalable nonblocking concurrent objects for mission critical code
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...
Damian Dechev, Bjarne Stroustrup
OOPSLA
2009
Springer
13 years 10 months ago
Coherent reaction
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...
Jonathan Edwards
OOPSLA
2009
Springer
13 years 10 months ago
TROPIC: a framework for model transformations on petri nets in color
Model transformation languages, the cornerstone of Modelngineering, often lack mechanisms for abstraction, reuse and debugging. We propose a model transformation k providing diffe...
Manuel Wimmer, Gerti Kappel, Johannes Schönb&...
OOPSLA
2009
Springer
13 years 10 months ago
Weaving web applications with WebDSL: (demonstration)
Danny M. Groenewegen, Eelco Visser
OOPSLA
2009
Springer
13 years 10 months ago
The 9th OOPSLA workshop on domain-specific modeling
Juha-Pekka Tolvanen, Jeff Gray, Matti Rossi, Jonat...
OOPSLA
2009
Springer
13 years 10 months ago
Provenance: a future history
James Cheney, Stephen Chong, Nate Foster, Margo I....
OOPSLA
2009
Springer
13 years 10 months ago
Typestate-oriented programming
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 ...
Jonathan Aldrich, Joshua Sunshine, Darpan Saini, Z...
OOPSLA
2009
Springer
13 years 10 months ago
Model transformation by demonstration
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...
Yu Sun