Search Sciweavers | Sciweavers

22

OOPSLA
2010
Springer

136views Security Privacy» more OOPSLA 2010»

Specifying and implementing refactorings

13 years 5 months ago

Modern IDEs for object-oriented languages like Java provide support for a basic set of simple automated refactorings whose behaviour is easy to describe intuitively. It is, howeve...

Max Schäfer, Oege de Moor

claim paper

Read More »

26

click to vote

MKWI
2008

123views Business» more MKWI 2008»

Towards a Model for Specifying and Composing Concerns in Software Product Line Engineering

13 years 9 months ago

Download sunsite.informatik.rwth-aachen.de

Abstract: In order to fulfil sets of similar user requirements within a specific application domain, one typically uses software product line engineering. In this paper, we investi...

Volker Kuttruff

claim paper

Read More »

65

click to vote

POPL
2006
ACM

107views Programming Languages» more POPL 2006»

Staged allocation: a compositional technique for specifying and implementing procedure calling conventions

14 years 7 months ago

Download www.cs.tufts.edu

We present staged allocation, a technique for specifying calling conventions by composing tiny allocators called stages. A specification written using staged allocation has a prec...

Reuben Olinsky, Christian Lindig, Norman Ramsey

claim paper

Read More »

15

click to vote

VSTTE
2005
Springer

119views Software Engineering» more VSTTE 2005»

Specified Blocks

14 years 29 days ago

Download vstte.ethz.ch

This paper argues that specified blocks have every advantage over the combination of assertions, preconditions, postconditions, invariants, and variants, both for verifying program...

Eric C. R. Hehner

claim paper

Read More »

20

click to vote

SIGPLAN
2008

114views System Software» more SIGPLAN 2008»

Using programming language concepts to teach general thinking skills

13 years 7 months ago

Download people.csail.mit.edu

Martin C. Rinard

claim paper