1021 search results - page 20 / 205 » Pure Subtype Systems |
132
click to vote
TLCA
1993
Springer
15 years 6 months ago
1993
Springer
d abstract) Giorgio Ghelli1 F≤ is a type system used to study the integration of inclusion and parametric polymorphism. F≤ does not include a notion of recursive types, but ext...
139
click to vote
CORR
2002
Springer
15 years 2 months ago
2002
Springer
It is next to impossible to develop real-life applications in just pure Prolog. With XPCE [5] we realised a mechanism for integrating Prolog with an external object-oriented syste...
116
click to vote
ECOOP
1999
Springer
15 years 6 months ago
1999
Springer
We develop an imperative calculus that provides a formal model for both single and mixin inheritance. By introducing classes and mixins as the basic object-oriented constructs in a...
123
Voted
EMSOFT
2005
Springer
15 years 8 months ago
2005
Springer
We propose a programming model dedicated to real-time videostreaming applications for embedded media devices, including highdefinition TVs. This model is built on the synchronous...
96
Voted
ECOOPWEXCEPTION
2000
Springer
15 years 6 months ago
2000
Springer
Interface exceptions (explicitly declared exceptions that a method can propagate outside) are an inherent part of the interface describing the behaviour of a particular class of ob...