Sciweavers

47 search results - page 3 / 10
» toplas 2008
Sort
View
80
Voted
TOPLAS
1998
113views more  TOPLAS 1998»
15 years 1 months ago
An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs
Konstantinos F. Sagonas, Terrance Swift
TOPLAS
1998
45views more  TOPLAS 1998»
15 years 1 months ago
A Region Inference Algorithm
Mads Tofte, Lars Birkedal
70
Voted
TOPLAS
2010
59views more  TOPLAS 2010»
15 years 5 days ago
A calculus for uniform feature composition
Sven Apel, DeLesley Hutchins