5904 search results - page 443 / 1181 » Requirements for a Composition Language |
197
click to vote
GPCE
2007
Springer
16 years 1 months ago
2007
Springer
Maintaining integrity, consistency, and enforcing conformance in architectures of large-scale systems requires specification and enforcement of many different forms of structural...
165
click to vote
MDAFA
2004
Springer
16 years 11 days ago
2004
Springer
Model transformations are the core of the MDA approach to software development. As specified by the OMG, model transformations should act on any kind of model of any kind of metamo...
225
click to vote
ECOOP
1999
Springer
15 years 11 months ago
1999
Springer
We discuss aspects of inlining of virtual method invocations. First, we introduce a new method test to guard inlinings of such invocations, with a di erent set of tradeo s from the...
180
click to vote
APLAS
2007
ACM
15 years 11 months ago
2007
ACM
We have built the first family of tagless interpretations for a higher-order typed object language in a typed metalanguage (Haskell or ML) that require no dependent types, general...
206
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
In the past few years, a number of constraint languages for XML documents has been proposed. They are cumulatively called schema languages or validation languages and they compris...