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
  
• 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
  
• Vittorio Cortellessa, Vincenzo Grassi:
  A performance-based methodology to early evaluate the effectiveness of mobile software architectures. 77-100
  
• A. J. Wilder:
  Recursive tables and effective definition schemes. 101-121
  

Volume 51, Number 2, June 2002

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

Last update Tue May 21 19:17:00 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page