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
Wei Jiang, Yuan Wang, Jeffery I. Zucker:
Universality and semicomputability for nondeterministic programming languages over abstract algebras. 44-78

Volume 71, Number 2, April 2007

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

Last update Fri May 24 20:35:49 2013 CET by the DBLP Team —

This material is Open Data

Data released under the ODC-BY 1.0 license — See also our legal information page