Science of Computer Programming, Volume 49

Volume 49, Number 1-3, December 2003

• Mark Burgess:
  On the theory of system administration. 1-46
  
• D. Ll. L. Rees, Karen Stephenson, J. V. Tucker:
  The algebraic structure of interfaces. 47-88
  
• Marco Comini, Roberta Gori, Giorgio Levi, Paolo Volpe:
  Abstract interpretation based verification of logic programs. 89-123
  
• Sharon A. Curtis:
  The classification of greedy algorithms. 125-157