Sciweavers

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