933 search results - page 56 / 187 » Multi-paradigm Declarative Languages |
145
click to vote
QOSA
2010
Springer
15 years 8 months ago
2010
Springer
Using model-to-model transformations to generate analysis models or code from architecture models is sought to promote compliance and reuse of components. The maintainability of tr...
150
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
We propose a two-layered approach for exploiting different forms of concurrency in complex systems: We specify computational components in our functional array language SaC, whic...
136
click to vote
ECAI
2004
Springer
15 years 9 months ago
2004
Springer
To enable the development of automated support for the dynamics of design processes, a challenge is to model and analyse such dynamics in a formal manner. This paper contributes a ...
159
click to vote
WIDM
1998
ACM
15 years 8 months ago
1998
ACM
There is a massive increase of information available on electronic networks. This profusion of resources on the WorldWide Web gave rise to considerable interest in the research co...
156
click to vote
ECOOP
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Generic types in C behave invariantly with respect to subtyping. We propose a system of type-safe variance for C that supports the declaration of covariant and contravari...