Sciweavers

1392 search results - page 116 / 279
» Staging generic programming
Sort
View
WCRE
2000
IEEE
14 years 1 months ago
Applying Traditional Unix Tools during Maintenance: An Experience Report
The Unix programming environment provides a rich and fairly standard set of generic tools for the development and maintenance of software. In an age of advanced software tools and...
Arthur Tateishi, Andrew Walenstein
ECOOP
1998
Springer
14 years 1 months ago
A Statically Safe Alternative to Virtual Types
Parametric types and virtual types have recently been proposed as extensions to Java to support genericity. In this paper we investigate the strengths and weaknesses of each. We su...
Kim B. Bruce, Martin Odersky, Philip Wadler
CP
2004
Springer
14 years 27 days ago
Set Variables and Local Search
Many combinatorial (optimisation) problems have natural models based on, or including, set variables and set constraints. This was already known to the constraint programming commu...
Magnus Ågren
FMCAD
2009
Springer
14 years 3 months ago
Finding heap-bounds for hardware synthesis
Abstract—Dynamically allocated and manipulated data structures cannot be translated into hardware unless there is an upper bound on the amount of memory the program uses during a...
Byron Cook, Ashutosh Gupta, Stephen Magill, Andrey...
CP
2004
Springer
14 years 2 months ago
Constraint-Based Combinators for Local Search
Abstract. One of the most appealing features of constraint programming is its rich constraint language for expressing combinatorial optimization problems. This paper demonstrates t...
Pascal Van Hentenryck, Laurent Michel, Liyuan Liu