5904 search results - page 448 / 1181 » Requirements for a Composition Language |
232
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...
207
click to vote
MODELS
2007
Springer
16 years 1 months ago
2007
Springer
We propose a method for describing architectural aspects in UML and show how binding specifications are used to compose aspects with base models. UML classes, parts, ports, and c...
190
click to vote
IJCNLP
2005
Springer
16 years 16 days ago
2005
Springer
Abstract. One important component of interactive systems is the generation component. While template-based generation is appropriate in many cases (for example, task oriented spoke...
143
click to vote
EXTREME
2004
ACM
16 years 13 days ago
2004
ACM
We argue that there are some special situations where it can be useful to repair well-formedness violations occurring in XML-like input, giving examples from our own work. We anal...
154
click to vote
ECOOP
2003
Springer
16 years 7 days ago
2003
Springer
Modeling four aspect-oriented programming mechanisms shows the way in which each supports modular crosscutting. Comparing the models produces a clear three part characterization of...