9626 search results - page 1293 / 1926 » Invariant Based Programming |
210
click to vote
DBPL
1993
Springer
15 years 11 months ago
1993
Springer
A frequent dilemma in the design of a database programming language is the choice between a language with a rich set of tailored notations for schema definitions, query expression...
216
click to vote
ECOOP
1993
Springer
15 years 11 months ago
1993
Springer
: Mixin-based inheritance is an inheritance technique that has been shown to subsume a variety of different inheritance mechanisms. It is based directly upon an incremental modific...
199
click to vote
ICS
1993
Tsinghua U.
15 years 11 months ago
1993
Tsinghua U.
: The EM-4 is a supercomputer that offers very fast inter processor communication and support for multi threading. In this paper we demonstrate that the EM-4, Together with an auto...
238
click to vote
ALP
1992
Springer
15 years 11 months ago
1992
Springer
Rewriting is a computational paradigm that specifies the actions, but not the control. We introduce a hierarchical structure repreat a high level of abstraction, a form of control....
180
click to vote
ICS
1989
Tsinghua U.
15 years 11 months ago
1989
Tsinghua U.
Control intensive scalar programs pose a very different challenge to highly pipelined supercomputers than vectorizable numeric applications. Function call/return and branch instru...