Sciweavers

6248 search results - page 23 / 1250
» Programming in a data factory
Sort
View
123
Voted
PADL
2012
Springer
13 years 10 months 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...
SIGADA
2001
Springer
15 years 6 months ago
Beyond ASIS: program data bases and tool-oriented queries
Janusz W. Laski, William Stanley, Pawel Podgorski
POPL
2001
ACM
16 years 2 months ago
BI as an Assertion Language for Mutable Data Structures
Samin S. Ishtiaq, Peter W. O'Hearn