Computer Languages, Systems & Structures, Volume 30

Volume 30, Number 1-2, April - July 2004

• Stéphane Ducasse, Roel Wuyts:
  Editorial: Smalltalk Language. 1-3
  
• Daniel Vainsencher:
  MudPie: layers in the ball of mud. 5-19
  
• Johan Fabry, Tom Mens:
  Language-independent detection of object-oriented design patterns. 21-33
  
• Tom Tourwé, Johan Brichau, Andy Kellens, Kris Gybels:
  Induced intentional software views. 35-47
  
• Noury Bouraqadi:
  Safe metaclass composition using mixin-based inheritance. 49-61
  
• Roel Wuyts, Stéphane Ducasse:
  Unanticipated integration of development tools using the classification model. 63-77
  
• Nathanael Schärli, Andrew P. Black:
  A browser for incremental programming. 79-95
  

Volume 30, Number 3-4, October - December 2004

• Lenore D. Zuck:
  Special issue of VMCAI'03. 97-98
  
• A. Prasad Sistla:
  Employing symmetry reductions in model checking. 99-137
  
• Lenore D. Zuck, Amir Pnueli:
  Model checking and abstraction to the aid of parameterized systems (a survey). 139-169
  
• B. Meenakshi, Ramaswamy Ramanujam:
  Reasoning about layered message passing systems. 171-206
  
• Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza:
  Nesting analysis of mobile ambients. 207-230
  
• Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi:
  Verifying persistent security properties. 231-258
  

Last update Fri May 25 09:01:42 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page