Journal of Logic and Algebraic Programming, Volume 71

Volume 71, Number 1, March 2007

• Jun Pang, Wan Fokkink, Rutger F. H. Hofman, Ronald Veldema:
  Model checking a cache coherence protocol of a Java DSM implementation. 1-43
  Electronic Edition (link) BibTeX
• Wei Jiang, Yuan Wang, Jeffery I. Zucker:
  Universality and semicomputability for nondeterministic programming languages over abstract algebras. 44-78
  Electronic Edition (link) BibTeX

Volume 71, Number 2, April 2007

• Jürgen Giesl, Armin Kühnemann, Janis Voigtländer:
  Deaccumulation techniques for improving provability. 79-113
  Electronic Edition (link) BibTeX
• Daniel Hirschkoff, Damien Pous, Davide Sangiorgi:
  An efficient abstract machine for Safe Ambients. 114-149
  Electronic Edition (link) BibTeX