267 search results - page 11 / 54 » Formal Parametric Polymorphism |
110
Voted
ICSE
2001
IEEE-ACM
15 years 6 months ago
2001
IEEE-ACM
Object-oriented frameworks are a popular mechanism for building and evolving large applications and software product lines. This paper describes an alternative approach to softwar...
117
Voted
CODES
2004
IEEE
15 years 5 months ago
2004
IEEE
High-level hardware modeling is an essential, yet time-consuming, part of system design. However, effective component-based reuse in hardware modeling languages can reduce model c...
83
Voted
APLAS
2005
ACM
15 years 7 months ago
2005
ACM
The formal core calculus .FJ has been introduced to model lightweight family polymorphism, a programming style to support reusable yet type-safe mutually recursive classes. This pa...
101
click to vote
FAC
1998
15 years 1 months ago
1998
In the process-algebraic veri cation of systems with three or more components put in parallel, alphabet axioms are considered to be very useful. These are rules that exploit the i...
132
click to vote
TPHOL
1998
IEEE
15 years 6 months ago
1998
IEEE
We show how extensible records with structural subtyping can be represented directly in Higher-Order Logic (HOL). Exploiting some specific properties of HOL, this encoding turns o...