144 search results - page 26 / 29 » Type Substitution for Object-Oriented Programming |
133
click to vote
PLDI
2004
ACM
15 years 8 months ago
2004
ACM
Region-based memory management offers several important potential advantages over garbage collection, including real-time performance, better data locality, and more efficient us...
125
click to vote
FOSSACS
2003
Springer
15 years 8 months ago
2003
Springer
Genericity is the idea that the same program can work at many different data types. Longo, Milstead and Soloviev proposed to capture the inability of generic programs to probe th...
102
Voted
CADE
2006
Springer
16 years 3 months ago
2006
Springer
We introduce a dynamic logic that is enriched by non-rigid functions, i.e., functions that may change their value from state to state (during program execution), and we present a (...
115
click to vote
ICFP
2008
ACM
16 years 2 months ago
2008
ACM
In efforts to overcome the complexity of the syntax and the lack of formal semantics of conventional hardware description languages, a number of functional hardware description la...
98
Voted
MFPS
1989
15 years 7 months ago
1989
We define a simple collection of operations for creating and manipulating record structures, where records are intended as finite associations of values to labels. A second-order ...