Sciweavers

8949 search results - page 386 / 1790
» is 1998
Sort
View
TOPLAS
1998
48views more  TOPLAS 1998»
15 years 6 months ago
The Design, Implementation, and Evaluation of Jade
Martin C. Rinard, Monica S. Lam
TOPLAS
1998
113views more  TOPLAS 1998»
15 years 6 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 6 months ago
A Region Inference Algorithm
Mads Tofte, Lars Birkedal
TOSEM
1998
100views more  TOSEM 1998»
15 years 6 months ago
Errata: A Formal Basis for Architectural Connection
Robert Allen, David Garlan
TOSEM
1998
50views more  TOSEM 1998»
15 years 6 months ago
Toward Formalizing Structured Analysis
Luciano Baresi, Mauro Pezzè