Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/cl/ArusoaieLR15,
  author       = {Andrei Arusoaie and
                  Dorel Lucanu and
                  Vlad Rusu},
  title        = {Symbolic execution based on language transformation},
  journal      = {Comput. Lang. Syst. Struct.},
  volume       = {44},
  pages        = {48--71},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.cl.2015.08.004},
  doi          = {10.1016/J.CL.2015.08.004},
  timestamp    = {Tue, 11 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cl/ArusoaieLR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/BarrettBT15,
  author       = {Edd Barrett and
                  Carl Friedrich Bolz and
                  Laurence Tratt},
  title        = {Approaches to interpreter composition},
  journal      = {Comput. Lang. Syst. Struct.},
  volume       = {44},
  pages        = {199--217},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.cl.2015.03.001},
  doi          = {10.1016/J.CL.2015.03.001},
  timestamp    = {Tue, 11 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cl/BarrettBT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/ChisDGN15,
  author       = {Andrei Chis and
                  Marcus Denker and
                  Tudor G{\^{\i}}rba and
                  Oscar Nierstrasz},
  title        = {Practical domain-specific debuggers using the Moldable Debugger framework},
  journal      = {Comput. Lang. Syst. Struct.},
  volume       = {44},
  pages        = {89--113},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.cl.2015.08.005},
  doi          = {10.1016/J.CL.2015.08.005},
  timestamp    = {Tue, 11 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cl/ChisDGN15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/ChoiC15,
  author       = {Kwanghoon Choi and
                  Byeong{-}Mo Chang},
  title        = {A lightweight approach to component-level exception mechanism for
                  robust android apps},
  journal      = {Comput. Lang. Syst. Struct.},
  volume       = {44},
  pages        = {283--298},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.cl.2015.08.010},
  doi          = {10.1016/J.CL.2015.08.010},
  timestamp    = {Tue, 11 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cl/ChoiC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/CombemalePPW15,
  author       = {Beno{\^{\i}}t Combemale and
                  David J. Pearce and
                  Richard F. Paige and
                  Eric Van Wyk},
  title        = {Special Issue on the 6th and 7th International Conferences on Software
                  Language Engineering {(SLE} 2013 and {SLE} 2014)},
  journal      = {Comput. Lang. Syst. Struct.},
  volume       = {44},
  pages        = {1--2},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.cl.2015.08.009},
  doi          = {10.1016/J.CL.2015.08.009},
  timestamp    = {Wed, 26 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cl/CombemalePPW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/DimitrieskiCARA15,
  author       = {Vladimir Dimitrieski and
                  Milan Celikovic and
                  Slavica Aleksic and
                  Sonja Ristic and
                  Abdalla Alargt and
                  Ivan Lukovic},
  title        = {Concepts and evaluation of the extended entity-relationship approach
                  to database design in a multi-paradigm information system modeling
                  tool},
  journal      = {Comput. Lang. Syst. Struct.},
  volume       = {44},
  pages        = {299--318},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.cl.2015.08.011},
  doi          = {10.1016/J.CL.2015.08.011},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cl/DimitrieskiCARA15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/ErdwegSVTBCGH0L15,
  author       = {Sebastian Erdweg and
                  Tijs van der Storm and
                  Markus V{\"{o}}lter and
                  Laurence Tratt and
                  Remi Bosman and
                  William R. Cook and
                  Albert Gerritsen and
                  Angelo Hulshout and
                  Steven Kelly and
                  Alex Loh and
                  Gabri{\"{e}}l D. P. Konat and
                  Pedro J. Molina and
                  Martin Palatnik and
                  Risto Pohjonen and
                  Eugen Schindler and
                  Klemens Schindler and
                  Riccardo Solmi and
                  Vlad A. Vergu and
                  Eelco Visser and
                  Kevin van der Vlist and
                  Guido Wachsmuth and
                  Jimi van der Woning},
  title        = {Evaluating and comparing language workbenches: Existing results and
                  benchmarks for the future},
  journal      = {Comput. Lang. Syst. Struct.},
  volume       = {44},
  pages        = {24--47},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.cl.2015.08.007},
  doi          = {10.1016/J.CL.2015.08.007},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cl/ErdwegSVTBCGH0L15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/FordosT15,
  author       = {Viktoria Ford{\'{o}}s and
                  Melinda T{\'{o}}th},
  title        = {Supporting comprehensible presentation of clone candidates through
                  two-dimensional maximisation},
  journal      = {Comput. Lang. Syst. Struct.},
  volume       = {44},
  pages        = {355--365},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.cl.2015.09.004},
  doi          = {10.1016/J.CL.2015.09.004},
  timestamp    = {Tue, 11 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cl/FordosT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/KaufmannKPSW15,
  author       = {Petra Kaufmann and
                  Martin Kronegger and
                  Andreas Pfandler and
                  Martina Seidl and
                  Magdalena Widl},
  title        = {Intra- and interdiagram consistency checking of behavioral multiview
                  models},
  journal      = {Comput. Lang. Syst. Struct.},
  volume       = {44},
  pages        = {72--88},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.cl.2015.08.003},
  doi          = {10.1016/J.CL.2015.08.003},
  timestamp    = {Tue, 11 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cl/KaufmannKPSW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/Kornilowicz15,
  author       = {Artur Kornilowicz},
  title        = {Flexary connectives in Mizar},
  journal      = {Comput. Lang. Syst. Struct.},
  volume       = {44},
  pages        = {238--250},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.cl.2015.07.002},
  doi          = {10.1016/J.CL.2015.07.002},
  timestamp    = {Tue, 11 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cl/Kornilowicz15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/KursLIN15,
  author       = {Jan Kurs and
                  Mircea Lungu and
                  Rathesan Iyadurai and
                  Oscar Nierstrasz},
  title        = {Bounded seas},
  journal      = {Comput. Lang. Syst. Struct.},
  volume       = {44},
  pages        = {114--140},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.cl.2015.08.002},
  doi          = {10.1016/J.CL.2015.08.002},
  timestamp    = {Tue, 11 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cl/KursLIN15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/LoidlP15,
  author       = {Hans{-}Wolfgang Loidl and
                  Ricardo Pe{\~{n}}a},
  title        = {Editorial of Special Issue Trends in Functional Programming 2011/12},
  journal      = {Comput. Lang. Syst. Struct.},
  volume       = {44},
  pages        = {141--142},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.cl.2015.09.001},
  doi          = {10.1016/J.CL.2015.09.001},
  timestamp    = {Tue, 11 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cl/LoidlP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/MarandMC15,
  author       = {Elaheh Azadi Marand and
                  Elham Azadi Marand and
                  Moharram Challenger},
  title        = {{DSML4CP:} {A} Domain-specific Modeling Language for Concurrent Programming},
  journal      = {Comput. Lang. Syst. Struct.},
  volume       = {44},
  pages        = {319--341},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.cl.2015.09.002},
  doi          = {10.1016/J.CL.2015.09.002},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cl/MarandMC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/Morazan15,
  author       = {Marco T. Moraz{\'{a}}n},
  title        = {Generative and accumulative recursion made fun for beginners},
  journal      = {Comput. Lang. Syst. Struct.},
  volume       = {44},
  pages        = {181--197},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.cl.2015.08.001},
  doi          = {10.1016/J.CL.2015.08.001},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cl/Morazan15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/ParkMS15,
  author       = {HeeJong Park and
                  Avinash Malik and
                  Zoran A. Salcic},
  title        = {Compiling and verifying SC-SystemJ programs for safety-critical reactive
                  systems},
  journal      = {Comput. Lang. Syst. Struct.},
  volume       = {44},
  pages        = {251--282},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.cl.2015.08.006},
  doi          = {10.1016/J.CL.2015.08.006},
  timestamp    = {Tue, 11 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cl/ParkMS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/SanchezMB15,
  author       = {Alejandro Sanchez and
                  Alexandre Madeira and
                  Lu{\'{\i}}s Soares Barbosa},
  title        = {On the verification of architectural reconfigurations},
  journal      = {Comput. Lang. Syst. Struct.},
  volume       = {44},
  pages        = {218--237},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.cl.2015.07.001},
  doi          = {10.1016/J.CL.2015.07.001},
  timestamp    = {Tue, 11 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cl/SanchezMB15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/SmetsersE15,
  author       = {Sjaak Smetsers and
                  Marko C. J. D. van Eekelen},
  title        = {Derivation and inference of higher-order strictness types},
  journal      = {Comput. Lang. Syst. Struct.},
  volume       = {44},
  pages        = {166--180},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.cl.2015.07.004},
  doi          = {10.1016/J.CL.2015.07.004},
  timestamp    = {Tue, 11 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cl/SmetsersE15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/SoderbergH15,
  author       = {Emma S{\"{o}}derberg and
                  G{\"{o}}rel Hedin},
  title        = {Declarative rewriting through circular nonterminal attributes},
  journal      = {Comput. Lang. Syst. Struct.},
  volume       = {44},
  pages        = {3--23},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.cl.2015.08.008},
  doi          = {10.1016/J.CL.2015.08.008},
  timestamp    = {Tue, 11 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cl/SoderbergH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/SvenningssonA15,
  author       = {Josef Svenningsson and
                  Emil Axelsson},
  title        = {Combining deep and shallow embedding of domain-specific languages},
  journal      = {Comput. Lang. Syst. Struct.},
  volume       = {44},
  pages        = {143--165},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.cl.2015.07.003},
  doi          = {10.1016/J.CL.2015.07.003},
  timestamp    = {Tue, 11 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cl/SvenningssonA15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/UlgenA15,
  author       = {Onur {\"{U}}lgen and
                  Mutlu Avci},
  title        = {The intelligent memory allocator selector},
  journal      = {Comput. Lang. Syst. Struct.},
  volume       = {44},
  pages        = {342--354},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.cl.2015.09.003},
  doi          = {10.1016/J.CL.2015.09.003},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cl/UlgenA15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics