Science of Computer Programming, Volume 59

Volume 59, Numbers 1-2, January 2006

• Markus Aleksy, Ralf Gitzel, John Waldron:
  Foreword. 1-3
  
• Áine Mitchell, James F. Power:
  A study of the influence of coverage on the relationship between static and dynamic coupling metrics. 4-25
  
• Eric E. Allen, Robert Cartwright:
  Safe instantiation in Generic Java. 26-37
  
• Mourad Debbabi, Abdelouahed Gherbi, Azzam Mourad, Hamdi Yahyaoui:
  A selective dynamic compiler for embedded Java virtual machines targeting ARM processors. 38-63
  
• Priya Nagpurkar, Chandra Krintz:
  Phase-based visualization and analysis of Java programs. 64-81
  
• George Wells:
  New and improved: Linda in Java. 82-96
  
• Arno Puder:
  XML11 - an abstract windowing protocol. 97-108
  
• Tony Ayres, Brian Nolan:
  Voice activated command and control with speech recognition over WiFi. 109-126
  
• Giacomo Cabri, Luca Ferrari, Letizia Leonardi:
  Applying security policies through agent roles: A JAAS based approach. 127-146
  
• H. Conrad Cunningham, Yi Liu, Cuihua Zhang:
  Using classic problems to teach Java framework design. 147-169
  

Volume 59, Number 3, February 2006

• Flavio Corradini, Paola Inverardi, Alexander L. Wolf:
  On relating functional specifications to architectural specifications: A case study. 171-208
  
• Paola Giannini, Davide Sangiorgi, Andrea Valente:
  Safe Ambients: Abstract machine and distributed implementation. 209-249
  
• Aldo Dall'Osso:
  Computer algebra systems as mathematical optimizing compilers. 250-273