Sciweavers

489 search results - page 37 / 98
» Type classes as objects and implicits
Sort
View
CORR
2002
Springer
131views Education» more  CORR 2002»
13 years 7 months ago
Ownership Confinement Ensures Representation Independence for Object-Oriented Programs
for data abstraction and justifies reasoning by simulation. Representation independence has been shown for a variety of languages and constructs but not for shared references to mu...
Anindya Banerjee, David A. Naumann
ASIAN
2006
Springer
98views Algorithms» more  ASIAN 2006»
13 years 11 months ago
Information Hiding in the Join Calculus
Abstract. We aim to provide information hiding support in concurrent object-oriented programming languages. We study the issue both at the object level and class level, in the cont...
Qin Ma 0002, Luc Maranget
ECOOP
2000
Springer
14 years 12 days ago
Extending Moby with Inheritance-Based Subtyping
Classes play a dual role in mainstream statically-typed object-oriented languages, serving as both object generators and object types. In such languages, inheritance implies subtyp...
Kathleen Fisher, John H. Reppy
ICIP
2006
IEEE
14 years 9 months ago
Image Manifold Interpolation using Free-Form Deformations
An important class of image data sets depict an object undergoing deformation. When there are only a few underlying causes of the deformation, these images have a natural lowdimen...
Richard Souvenir, Qilong Zhang, Robert Pless
ENTCS
2010
77views more  ENTCS 2010»
13 years 8 months ago
Transparent First-class Futures and Distributed Components
Futures are special kind of values that allow the synchronisation of different processes. Futures are in fact identifiers for promised results of function calls that are still awa...
Antonio Cansado, Ludovic Henrio, Eric Madelaine