1021 search results - page 20 / 205 » Pure Subtype Systems |
TLCA
1993
Springer
13 years 11 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...
CORR
2002
Springer
13 years 7 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...
ECOOP
1999
Springer
13 years 12 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...
EMSOFT
2005
Springer
14 years 1 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...
ECOOPWEXCEPTION
2000
Springer
14 years 1 days 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...