Sciweavers

ICALP
2010
Springer
13 years 10 months ago
Linear Orders in the Pushdown Hierarchy
Laurent Braud, Arnaud Carayol
POPL
1990
ACM
13 years 10 months ago
Concurrent Constraint Programming
Abstract. Concurrent constraint programming is a simple but powerful framework for computation based on four basic computational ideas: concurrency (multiple agents are simultaneou...
Vijay A. Saraswat, Martin C. Rinard
POS
1987
Springer
13 years 10 months ago
Realisation of a Dynamically Grouped Object-Oriented Virtual Memory Hierarchy
Conventional paging systems do not perform well with large object-oriented environments (such as Smalltalk-801 [GR83]) due to the fine granularity of objects and the persistence o...
Ifor Williams, Mario Wolczko, T. P. Hopkins
ICALP
1987
Springer
13 years 10 months ago
Guessing Games and Distributed Computations in Synchronous Networks
Jan van Leeuwen, Nicola Santoro, Jorge Urrutia, Sh...
FPCA
1987
13 years 10 months ago
Categorical multi-combinators
: Categorical Multi-Combinators form a rewriting system developed with the aim of providing efficient implementations of lazy functional languages. The core of the system of Catego...
Rafael Dueire Lins
ECOOP
1987
Springer
13 years 10 months ago
Dynamic Grouping in an Object-Oriented Virtual Memory Hierarchy
Object oriented programming environments frequently suffer serious performance degradation because of a high level of paging activity when implemented using a conventional virtual...
Ifor Williams, Mario Wolczko, Trevor Hopkins