6248 search results - page 185 / 1250 » Programming in a data factory |
170
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
A way of combining object-oriented and structural paradigms of software composition is demonstrated in a tool for generative programming. Metaclasses are introduced that are compon...
197
click to vote
CADE
2003
Springer
16 years 6 months ago
2003
Springer
This paper develops sound modelling and reasoning methods for imperative programs with pointers: heaps are modelled as mappings from addresses to values, and pointer structures are...
170
click to vote
LOPSTR
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. The goal of partial evaluation is the specialization of programs w.r.t. part of their input data. Although this technique is already well-known in the context of function...
171
click to vote
MPC
2004
Springer
15 years 12 months ago
2004
Springer
The efficient representation and manipulation of data is one of the fundamental tasks in the construction of large software systems. Parametric polymorphism has been one of the mo...
171
click to vote
HPDC
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper reports on the architecture and design of Starfish, an environment for executing dynamic (and static) MPI-2 programs on a cluster of workstations. Starfish is unique in ...