Computer Languages, Systems & Structures, Volume 30

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

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

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

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