Sciweavers

3671 search results - page 52 / 735
» On Garbage and Program Logic
Sort
View
108
Voted
POPL
1990
ACM
15 years 7 months ago
Parallelism in Logic Programs
Raghu Ramakrishnan
101
Voted
PPDP
2000
Springer
15 years 7 months ago
Type-based nondeterminism checking in functional logic programs
Michael Hanus, Frank Steiner
97
Voted
PPDP
2000
Springer
15 years 7 months ago
Continuations for parallel logic programming
Eneia Todoran, Nikolaos Papaspyrou
106
Voted
ICALP
1991
Springer
15 years 7 months ago
Logical and Computational Aspects of Programming with Sets/Bags/Lists
Val Tannen, Ramesh Subrahmanyam