Sciweavers

2958 search results - page 99 / 592
» Extending and Implementing RASP
Sort
View
DCW
2000
Springer
14 years 1 months ago
DSM-Communities in the World-Wide Web
We contemplate extending the applicability of our current implementation of a DSM operating system from the locally connected PC cluster to large scale intranets and multiple feder...
Peter Schulthess, Oliver Schirpf, Michael Schö...
ASIAN
1998
Springer
133views Algorithms» more  ASIAN 1998»
14 years 1 months ago
Type Inference for First-Class Messages with Feature Constraints
Abstract. We present a constraint system OF of feature trees that is appropriate to specify and implement type inference for first-class messages. OF extends traditional systems of...
Martin Müller, Susumu Nishimura
ECOOPW
1998
Springer
14 years 1 months ago
Is Composition of Metaobjects = Aspect Oriented Programming
This paper proposes to implement aspects as metaobjects and using run time aspect weaving. The metaobjects are metaobjects as defined in computational reflection and can be exchan...
Charlotte Pii Lunau
ILP
1998
Springer
14 years 1 months ago
Prolog, Refinements and RLGG's
Cohen's [1] refinement rules provide a flexible mechanism for introducing intentional background knowledge in an ILP system. Whereas Cohen used a limited second order theorem ...
Claude Sammut
PEPM
1997
ACM
14 years 1 months ago
A Type-directed, On-line, Partial Evaluator for a Polymorphic Language
Recently, Olivier Danvy introduced a new, simple method for implementing powerful partial evaluators, namely typedirected partial evaluation 9 . He introduced a partial evaluator ...
Tim Sheard