1712 search results - page 85 / 343 » Abstract Constraint Data Types |
180
click to vote
KBSE
2009
IEEE
16 years 28 days ago
2009
IEEE
—Automated debugging is becoming increasingly important as the size and complexity of software increases. This paper makes a case for using constraint-based data structure repair...
154
click to vote
MPC
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Generic functions are defined by induction on the structural representation of types. As a consequence, by defining just a single generic operation, one acquires this o...
181
click to vote
CINQ
2004
Springer
15 years 11 months ago
2004
Springer
The subfield of itemset mining is essentially a collection of algorithms. Whenever a new type of constraint is discovered, a specialized algorithm is proposed to handle it. All o...
170
click to vote
CAISE
1995
Springer
15 years 9 months ago
1995
Springer
, methods, techniques and tools. High level languages, structured programming, abstract data types, formal methods, non-procedural programming, object orientation, CASE, support en...
166
click to vote
IFL
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. Generic programming enables the programmer to define functions by induction on the structure of types. Defined once, such a generic function can be used to generate a s...