Sciweavers

31387 search results - page 272 / 6278
» Abstracting abstract machines
Sort
View
ASIACRYPT
1991
Springer
15 years 10 months ago
Revealing Information with Partial Period Correlations (Extended Abstract)
g Information with Partial Period Correlations (extendedabstract) Andrew Klapper Mark Goresky Northeastern University, College of Computer Science, Boston, MA 02115, U.S.A.
Andrew Klapper, Mark Goresky
ICLP
1991
Springer
15 years 10 months ago
Abstract Interpretation of Logic Programs
Interpretation of Logic Programs 1
Patrick Cousot