918 search results - page 146 / 184 » An Aspect Language for Robust Programming |
128
click to vote
ROOM
2000
15 years 4 months ago
2000
This paper is a proposal for a new two-tier calculus, designed to model aspects of CORBA-like systems at the CORBA evel. The higher object level known as Oompa abstracts away from...
129
click to vote
WIESS
2000
15 years 4 months ago
2000
A software system can be called a safe-system with respect to memory, when it supports only strong-typing and it does not allow for the manual disposal of dynamic memory [2]. The ...
145
click to vote
LFP
1990
15 years 4 months ago
1990
Quest is a programming language based on impredicative type quantifiers and subtyping within a three-level structure of kinds, types and type operators, and values. The semantics ...
129
click to vote
ENTCS
2010
15 years 3 months ago
2010
In component-based software engineering, reconfiguration describes structural changes to the architecture of a component system. For stateful components, not only structural but a...
247
click to vote
SCP
2011
14 years 10 months ago
2011
In the field of scientific computing there is a manifold of software applications and tools available which provide methods and libraries for the solution of very specific prob...