Sciweavers

6248 search results - page 23 / 1250
» Programming in a data factory
Sort
View
75
Voted
IPPS
1998
IEEE
15 years 9 months ago
Data Parallel Programming with the Khoros Data Services Library
Steve Kubica, Thomas Robey, Chris Moorman
PADL
2012
Springer
14 years 16 days ago
Typing the Numeric Tower
In the past, the creators of numerical programs had to choose between simple expression of mathematical formulas and static type checking. While the Lisp family and its dynamically...
Vincent St-Amour, Sam Tobin-Hochstadt, Matthew Fla...
114
Voted
SIGADA
2001
Springer
15 years 9 months ago
Beyond ASIS: program data bases and tool-oriented queries
Janusz W. Laski, William Stanley, Pawel Podgorski
223
Voted
POPL
2001
ACM
16 years 5 months ago
BI as an Assertion Language for Mutable Data Structures
Samin S. Ishtiaq, Peter W. O'Hearn