Search dblp for Publications

export results for "toc:db/journals/cl/cl30.bht:"

 download as .bib file

@article{DBLP:journals/cl/BossiFPR04,
  author       = {Annalisa Bossi and
                  Riccardo Focardi and
                  Carla Piazza and
                  Sabina Rossi},
  title        = {Verifying persistent security properties},
  journal      = {Comput. Lang. Syst. Struct.},
  volume       = {30},
  number       = {3-4},
  pages        = {231--258},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.cl.2004.02.005},
  doi          = {10.1016/J.CL.2004.02.005},
  timestamp    = {Tue, 11 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cl/BossiFPR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cl/Bouraqadi04,
  author       = {Noury Bouraqadi},
  title        = {Safe metaclass composition using mixin-based inheritance},
  journal      = {Comput. Lang. Syst. Struct.},
  volume       = {30},
  number       = {1-2},
  pages        = {49--61},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.cl.2003.09.003},
  doi          = {10.1016/J.CL.2003.09.003},
  timestamp    = {Tue, 11 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cl/Bouraqadi04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cl/BraghinCFLP04,
  author       = {Chiara Braghin and
                  Agostino Cortesi and
                  Riccardo Focardi and
                  Flaminia L. Luccio and
                  Carla Piazza},
  title        = {Nesting analysis of mobile ambients},
  journal      = {Comput. Lang. Syst. Struct.},
  volume       = {30},
  number       = {3-4},
  pages        = {207--230},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.cl.2004.02.004},
  doi          = {10.1016/J.CL.2004.02.004},
  timestamp    = {Tue, 11 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cl/BraghinCFLP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cl/DucasseW04,
  author       = {St{\'{e}}phane Ducasse and
                  Roel Wuyts},
  title        = {Editorial: Smalltalk Language},
  journal      = {Comput. Lang. Syst. Struct.},
  volume       = {30},
  number       = {1-2},
  pages        = {1--3},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.cl.2003.08.001},
  doi          = {10.1016/J.CL.2003.08.001},
  timestamp    = {Tue, 11 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cl/DucasseW04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cl/FabryM04,
  author       = {Johan Fabry and
                  Tom Mens},
  title        = {Language-independent detection of object-oriented design patterns},
  journal      = {Comput. Lang. Syst. Struct.},
  volume       = {30},
  number       = {1-2},
  pages        = {21--33},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.cl.2003.09.002},
  doi          = {10.1016/J.CL.2003.09.002},
  timestamp    = {Tue, 11 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cl/FabryM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cl/MeenakshiR04,
  author       = {B. Meenakshi and
                  Ramaswamy Ramanujam},
  title        = {Reasoning about layered message passing systems},
  journal      = {Comput. Lang. Syst. Struct.},
  volume       = {30},
  number       = {3-4},
  pages        = {171--206},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.cl.2004.02.003},
  doi          = {10.1016/J.CL.2004.02.003},
  timestamp    = {Tue, 11 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cl/MeenakshiR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cl/ScharliB04,
  author       = {Nathanael Sch{\"{a}}rli and
                  Andrew P. Black},
  title        = {A browser for incremental programming},
  journal      = {Comput. Lang. Syst. Struct.},
  volume       = {30},
  number       = {1-2},
  pages        = {79--95},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.cl.2003.09.004},
  doi          = {10.1016/J.CL.2003.09.004},
  timestamp    = {Tue, 11 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cl/ScharliB04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cl/Sistla04,
  author       = {A. Prasad Sistla},
  title        = {Employing symmetry reductions in model checking},
  journal      = {Comput. Lang. Syst. Struct.},
  volume       = {30},
  number       = {3-4},
  pages        = {99--137},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.cl.2004.02.002},
  doi          = {10.1016/J.CL.2004.02.002},
  timestamp    = {Tue, 11 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cl/Sistla04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cl/TourweBKG04,
  author       = {Tom Tourw{\'{e}} and
                  Johan Brichau and
                  Andy Kellens and
                  Kris Gybels},
  title        = {Induced intentional software views},
  journal      = {Comput. Lang. Syst. Struct.},
  volume       = {30},
  number       = {1-2},
  pages        = {35--47},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.cl.2003.08.002},
  doi          = {10.1016/J.CL.2003.08.002},
  timestamp    = {Tue, 11 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cl/TourweBKG04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cl/Vainsencher04,
  author       = {Daniel Vainsencher},
  title        = {MudPie: layers in the ball of mud},
  journal      = {Comput. Lang. Syst. Struct.},
  volume       = {30},
  number       = {1-2},
  pages        = {5--19},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.cl.2003.09.001},
  doi          = {10.1016/J.CL.2003.09.001},
  timestamp    = {Tue, 11 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cl/Vainsencher04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cl/WuytsD04,
  author       = {Roel Wuyts and
                  St{\'{e}}phane Ducasse},
  title        = {Unanticipated integration of development tools using the classification
                  model},
  journal      = {Comput. Lang. Syst. Struct.},
  volume       = {30},
  number       = {1-2},
  pages        = {63--77},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.cl.2003.08.003},
  doi          = {10.1016/J.CL.2003.08.003},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cl/WuytsD04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cl/Zuck04,
  author       = {Lenore D. Zuck},
  title        = {Special issue of VMCAI'03},
  journal      = {Comput. Lang. Syst. Struct.},
  volume       = {30},
  number       = {3-4},
  pages        = {97--98},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.cl.2004.05.001},
  doi          = {10.1016/J.CL.2004.05.001},
  timestamp    = {Tue, 11 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cl/Zuck04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cl/ZuckP04,
  author       = {Lenore D. Zuck and
                  Amir Pnueli},
  title        = {Model checking and abstraction to the aid of parameterized systems
                  (a survey)},
  journal      = {Comput. Lang. Syst. Struct.},
  volume       = {30},
  number       = {3-4},
  pages        = {139--169},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.cl.2004.02.006},
  doi          = {10.1016/J.CL.2004.02.006},
  timestamp    = {Tue, 11 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cl/ZuckP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.