Journal of Logic and Algebraic Programming, Volume 51

Volume 51, Number 1, April - May 2002

• Joseph A. Goguen, Grant Malcolm, Tom Kemp:
  A hidden Herbrand theorem: combining the object and logic paradigms. 1-41
  Electronic Edition (link) BibTeX
• Stefania Gnesi, Diego Latella, Mieke Massink:
  Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking. 43-75
  Electronic Edition (link) BibTeX
• Vittorio Cortellessa, Vincenzo Grassi:
  A performance-based methodology to early evaluate the effectiveness of mobile software architectures. 77-100
  Electronic Edition (link) BibTeX
• A. J. Wilder:
  Recursive tables and effective definition schemes. 101-121
  Electronic Edition (link) BibTeX

Volume 51, Number 2, June 2002

• Jan A. Bergstra, M. E. Loots:
  Program algebra for sequential code. 125-156
  Electronic Edition (link) BibTeX
• Alban Ponse:
  Program algebra with unit instruction operators. 157-174
  Electronic Edition (link) BibTeX
• Jan A. Bergstra, Alban Ponse:
  Combining programs and state machines. 175-192
  Electronic Edition (link) BibTeX
• Jan A. Bergstra, Inge Bethke:
  Molecular dynamics. 193-214
  Electronic Edition (link) BibTeX