9626 search results - page 1380 / 1926 » Invariant Based Programming |
178
click to vote
OOPSLA
2004
Springer
16 years 13 days ago
2004
Springer
Generative programming and aspect-oriented software development have been proposed over the last years aiming at increasing maintainability and reusability of software systems. Wh...
211
click to vote
PPDP
2004
Springer
16 years 13 days ago
2004
Springer
We investigate some fundamental properties of the reduction relation in the untyped term calculus derived from Curien and Herbelin’s λµµ. The original λµµ has a system of ...
196
click to vote
PRICAI
2004
Springer
16 years 13 days ago
2004
Springer
In this paper, we extend our earlier work on modelling the mental states of PRS-like agents by considering the dynamics of belief and modelling of action attempts. The major constr...
167
click to vote
PVM
2004
Springer
16 years 13 days ago
2004
Springer
We introduce a refinement strategy to bring the parallel performance analysis closer to the user. The analysis starts with a simple high-level performance model. It is based on fir...
182
click to vote
RISE
2004
Springer
16 years 13 days ago
2004
Springer
Exception mechanism is important for the development of robust programs to make sure that exceptions are handled appropriately at run-time. In this paper, we develop a dynamic exce...