Sciweavers

223 search results - page 33 / 45
» Essential language support for generic programming
Sort
View
82
Voted
OOPSLA
1989
Springer
15 years 1 months ago
Static Type Inference for Parametric Classes
Method inheritance and data abstraction are central features of objectoriented programming that are attained through a hierarchical organization of classes. Recent studies have sh...
Atsushi Ohori, Peter Buneman
ICPADS
2008
IEEE
15 years 4 months ago
Object-Oriented Parallelisation: Improved and Extended Parallel Iterator
The need to parallelise desktop applications is becoming increasingly essential with the mainstream adoption of multi-cores. In object-oriented languages, sequential iterators han...
Nasser Giacaman, Oliver Sinnen, Lama Akeila
FPCA
1989
15 years 1 months ago
A Simple Semantics for ML Polymorphism
We give a framework for denotational semantics for the polymorphic “core” of the programming language ML. This framework requires no more semantic material than what is needed...
Atsushi Ohori
75
Voted
ICLP
2003
Springer
15 years 2 months ago
Flow Java: Declarative Concurrency for Java
Abstract. Logic variables pioneered by (concurrent) logic and concurrent constraint programming are powerful mechanisms for automatically synchronizing concurrent computations. The...
Frej Drejhammar, Christian Schulte, Per Brand, Sei...
COOPIS
2003
IEEE
15 years 2 months ago
DLS: A CORBA Service for Dynamic Loading of Code
Dynamic loading of code is needed when rarely used code should be loaded on demand or when the code to be loaded is not known in advance. In distributed systems it can also be used...
Rüdiger Kapitza, Franz J. Hauck