1072 search results - page 73 / 215 » Object-Oriented Type Inference |
132
click to vote
IEE
2002
15 years 3 months ago
2002
Abstract. This paper describes an approach to providing object persistence in object-oriented programming languages without modifying the run-time system or the language itself. By...
120
click to vote
TAPOS
1998
15 years 3 months ago
1998
There is a growing need, both for use within corporate intranets and within the rapidly evolving World Wide Web, to develop tools that are able to retrieve relevant textual inform...
186
click to vote
ICST
2010
IEEE
15 years 1 months ago
2010
IEEE
In the presence of an internal state, often it is required a sequence of function calls to test software. In fact, to cover a particular branch of the code, a sequence of previous...
136
click to vote
TLDI
2010
ACM
16 years 7 days ago
2010
ACM
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...
174
Voted
PLDI
2012
ACM
13 years 5 months ago
2012
ACM
Generic programming (GP) is an increasingly important trend in programming languages. Well-known GP mechanisms, such as type classes and the C++0x concepts proposal, usually combi...