Sciweavers

47 search results - page 3 / 10
» toplas 2008
Sort
View
TOPLAS
1998
113views more  TOPLAS 1998»
13 years 5 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»
13 years 5 months ago
A Region Inference Algorithm
Mads Tofte, Lars Birkedal
TOPLAS
2010
59views more  TOPLAS 2010»
13 years 3 months ago
A calculus for uniform feature composition
Sven Apel, DeLesley Hutchins