ask others

Computer Languages, Systems & Structures, Volume 30

> Home > Journals > Computer Languages, Systems & Structures

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

Smalltalk Language

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/cl/DucasseW04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/cl/DucasseW04
Stéphane Ducasse, Roel Wuyts:
Editorial: Smalltalk Language. 1-3
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/cl/Vainsencher04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/cl/Vainsencher04
Daniel Vainsencher:
MudPie: layers in the ball of mud. 5-19
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - journals/cl/FabryM04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/cl/FabryM04
Johan Fabry, Tom Mens:
Language-independent detection of object-oriented design patterns. 21-33
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/cl/TourweBKG04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/cl/TourweBKG04
Tom Tourwé, Johan Brichau, Andy Kellens, Kris Gybels:
Induced intentional software views. 35-47
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/cl/Bouraqadi04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/cl/Bouraqadi04
Noury Bouraqadi:
Safe metaclass composition using mixin-based inheritance. 49-61
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/cl/WuytsD04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/cl/WuytsD04
Roel Wuyts, Stéphane Ducasse:
Unanticipated integration of development tools using the classification model. 63-77
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/cl/ScharliB04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/cl/ScharliB04
Nathanael Schärli, Andrew P. Black:
A browser for incremental programming. 79-95

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

Analysis and Verification

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/cl/Zuck04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/cl/Zuck04
Lenore D. Zuck:
Special issue of VMCAI'03. 97-98
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/cl/Sistla04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/cl/Sistla04
A. Prasad Sistla:
Employing symmetry reductions in model checking. 99-137
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/cl/ZuckP04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/cl/ZuckP04
Lenore D. Zuck, Amir Pnueli:
Model checking and abstraction to the aid of parameterized systems (a survey). 139-169
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/cl/MeenakshiR04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/cl/MeenakshiR04
B. Meenakshi, Ramaswamy Ramanujam:
Reasoning about layered message passing systems. 171-206
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - journals/cl/BraghinCFLP04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/cl/BraghinCFLP04
Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza:
Nesting analysis of mobile ambients. 207-230
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/cl/BossiFPR04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/cl/BossiFPR04
Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi:
Verifying persistent security properties. 231-258

maintained by

, founded at