Sciweavers

ICALP
2010
Springer
14 years 3 months ago
Linear Orders in the Pushdown Hierarchy
Laurent Braud, Arnaud Carayol
POPL
1990
ACM
14 years 3 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
14 years 3 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
14 years 3 months ago
Guessing Games and Distributed Computations in Synchronous Networks
Jan van Leeuwen, Nicola Santoro, Jorge Urrutia, Sh...
FPCA
1987
14 years 3 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
14 years 3 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