Sciweavers

3513 search results - page 27 / 703
» Super Logic Programs
Sort
View
136
Voted
ESOP
1998
Springer
15 years 6 months ago
Recursive Object Types in a Logic of Object-Oriented Programs
K. Rustan M. Leino
106
Voted
ICALP
1992
Springer
15 years 6 months ago
Logic Programming Semantics Made Easy
Els Laenens, Dirk Vermeir, Carlo Zaniolo
POPL
1990
ACM
15 years 6 months ago
Parallelism in Logic Programs
Raghu Ramakrishnan