Journal of Logic and Algebraic Programming, Volume 74

Volume 74, Number 1, November-December 2007

• Pieter Hendrik Rodenburg:
  Piecewise initial algebra semantics. 1-31
  Electronic Edition (link) BibTeX
• Neal A. Harman:
  Algebraic models of behaviour and correctness of SMT and CMT processors. 32-56
  Electronic Edition (link) BibTeX

Volume 74, Number 2, January 2008

• Ismael Rodríguez, Mercedes G. Merayo, Manuel Núñez:
  HOTL: Hypotheses and observations testing logic. 57-93
  Electronic Edition (link) BibTeX
• Thuy Duong Vu:
  Denotational semantics for thread algebra. 94-111
  Electronic Edition (link) BibTeX
• K. O. Wilander:
  Soundness in verification of algebraic specifications with OBJ. 112-114
  Electronic Edition (link) BibTeX