5525 search results - page 870 / 1105 » Verification of Model Transformations |
140
click to vote
PARLE
1993
15 years 8 months ago
1993
Abstract. We present a set of primitive program schemes, which together with just two basic combining forms provide a suprisingly expressive parallel programming language. The prim...
155
click to vote
VLDB
1994
ACM
15 years 8 months ago
1994
ACM
Most declarative SQL-like query languagesfor object-oriented database systems (OOSQL) are orthogonal languages allowing for arbitrary nesting of expressions in the select-, from-,...
129
click to vote
SC
1990
ACM
15 years 8 months ago
1990
ACM
Loop distribution is an integral part of transforming a sequential program into a parallel one. It is used extensively in parallelization,vectorization, and memory management. For...
166
click to vote
CEEMAS
2007
Springer
15 years 8 months ago
2007
Springer
Multi-Agent Systems (MAS) in health-care domains are showing a rapid increase, in order to manage complex tasks and adapt gracefully to unexpected events. On the other hand, the la...
139
click to vote
FOAL
2007
ACM
15 years 8 months ago
2007
ACM
We consider the problem of adding aspects to a strongly typed language which supports type classes. We show that type classes as supported by the Glasgow Haskell Compiler can mode...