291 search results - page 27 / 59 » A Logic for Parametric Polymorphism |
122
Voted
SAC
2004
ACM
15 years 7 months ago
2004
ACM
This paper describes wildcards, a new language construct designed to increase the flexibility of object-oriented type systems with parameterized classes. Based on the notion of v...
128
Voted
GI
1997
Springer
15 years 5 months ago
1997
Springer
Object-Gofer is a small, practical extension of the functional programming language Gofer incorporating the following ideas from the object-oriented community: objects and toplevel...
114
click to vote
WCRE
2007
IEEE
15 years 8 months ago
2007
IEEE
Legacy applications can be difficult and time-consuming to understand and update due to the lack of modern abstraction mechanisms in legacy languages, as well as the gradual dete...
ICCAD
2005
IEEE
15 years 10 months ago
2005
IEEE
The increasing variability of process parameters leads to substantial parametric yield losses due to timing and leakage power constraints. Leakage power is especially affected by ...
104
click to vote
CADE
2001
Springer
16 years 2 months ago
2001
Springer
In this paper, we present a syntax-directed termination and reduction checker for higher-order logic programs. The reduction checker verifies parametric higher-order subterm orderi...