POPL
1997
ACM
13 years 8 months ago
1997
ACM
Defining the collecting semantics is usually the first crucial step in adapting the general methodology of abstract interpretation to the semantic framework or programming languag...
LICS
1998
IEEE
13 years 8 months ago
1998
IEEE
The Horn
LICS
1999
IEEE
13 years 9 months ago
1999
IEEE
Guarded fixed point logics are obtained by adding least and greatest fixed points to the guarded fragments of firstorder logic that were recently introduced by Andr