Sciweavers

1882 search results - page 34 / 377
» Transformational Programming and Forests
Sort
View
LOPSTR
2000
Springer
14 years 2 days ago
Higher-order transformation of logic programs
Silvija Seres, J. Michael Spivey
TACAS
2000
Springer
106views Algorithms» more  TACAS 2000»
14 years 2 days ago
Verification of Parameterized Systems Using Logic Program Transformations
Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakr...