6201 search results - page 51 / 1241 » Implementation of Axiomatic Language |
137
click to vote
POPL
1996
ACM
15 years 8 months ago
1996
ACM
that defines abstract costs for measuring or analyzing the performance of computations, (2) to supply the users with a mapping of these costs onto runtimes on various machine model...
157
click to vote
TLDI
2010
ACM
16 years 21 days ago
2010
ACM
We present the design of a formal low-level multi-threaded language with advanced region-based memory management and synchronization primitives, where well-typed programs are memo...
127
click to vote
PPOPP
2003
ACM
15 years 9 months ago
2003
ACM
Gather and scatter are data redistribution functions of longstanding importance to high performance computing. In this paper, we present a highly-general array operator with power...
124
Voted
SAC
2010
ACM
15 years 10 months ago
2010
ACM
Implementing the 23 Gang-of-Four design patterns in the aspectoriented programming language Object Teams/Java (OT/J) yields modularity and reusability results roughly comparable t...
161
click to vote
SIGMOD
1993
ACM
15 years 8 months ago
1993
ACM
We describe the design and implementation of the Glue-Nail database system. The Nail language is a purely declarative query language; Glue is a procedural language used for nonque...