10585 search results - page 548 / 2117 » The Orc Programming Language |
176
click to vote
ECOOP
2007
Springer
16 years 1 months ago
2007
Springer
All software systems are subject to evolution, independently by the developing technique. Aspect oriented software in addition to separate the different concerns during the softwar...
223
click to vote
POPL
1998
ACM
15 years 11 months ago
1998
ACM
constraint solver. The other infers annotations on bound variables in function abstractions by propagating type constraints downward from enclosing application nodes. We motivate o...
177
click to vote
ECOOP
2008
Springer
15 years 9 months ago
2008
Springer
The adapter design pattern [1], commonly used for integration and evolution in component-based systems, is originally described by roles. In classbased systems, the conventional re...
186
click to vote
JAR
2010
15 years 5 months ago
2010
Abstract. In this paper we propose an effective procedure for translating a proof term of the Calculus of Inductive Constructions (CIC), which is very similar to a program written...
218
click to vote
DLS
2010
15 years 5 months ago
2010
Dynamic mixin is a construct available in Ruby and other dynamic languages. It can be used as a base to implement a range of programming paradigms, such as dynamic aspectoriented ...