Search dblp for Publications

export results for "toc:db/conf/sle/sle2013.bht:"

 download as .bib file

@inproceedings{DBLP:conf/sle/AfroozehBJSV13,
  author       = {Ali Afroozeh and
                  Mark van den Brand and
                  Adrian Johnstone and
                  Elizabeth Scott and
                  Jurgen J. Vinju},
  editor       = {Martin Erwig and
                  Richard F. Paige and
                  Eric Van Wyk},
  title        = {Safe Specification of Operator Precedence Rules},
  booktitle    = {Software Language Engineering - 6th International Conference, {SLE}
                  2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8225},
  pages        = {137--156},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-02654-1\_8},
  doi          = {10.1007/978-3-319-02654-1\_8},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sle/AfroozehBJSV13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/ArusoaieLR13,
  author       = {Andrei Arusoaie and
                  Dorel Lucanu and
                  Vlad Rusu},
  editor       = {Martin Erwig and
                  Richard F. Paige and
                  Eric Van Wyk},
  title        = {A Generic Framework for Symbolic Execution},
  booktitle    = {Software Language Engineering - 6th International Conference, {SLE}
                  2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8225},
  pages        = {281--301},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-02654-1\_16},
  doi          = {10.1007/978-3-319-02654-1\_16},
  timestamp    = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sle/ArusoaieLR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/BaggeH13,
  author       = {Anya Helene Bagge and
                  Tero Hasu},
  editor       = {Martin Erwig and
                  Richard F. Paige and
                  Eric Van Wyk},
  title        = {A Pretty Good Formatting Pipeline},
  booktitle    = {Software Language Engineering - 6th International Conference, {SLE}
                  2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8225},
  pages        = {177--196},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-02654-1\_10},
  doi          = {10.1007/978-3-319-02654-1\_10},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sle/BaggeH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/BakDACW13,
  author       = {Kacper Bak and
                  Zinovy Diskin and
                  Michal Antkiewicz and
                  Krzysztof Czarnecki and
                  Andrzej Wasowski},
  editor       = {Martin Erwig and
                  Richard F. Paige and
                  Eric Van Wyk},
  title        = {Partial Instances via Subclassing},
  booktitle    = {Software Language Engineering - 6th International Conference, {SLE}
                  2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8225},
  pages        = {344--364},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-02654-1\_19},
  doi          = {10.1007/978-3-319-02654-1\_19},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sle/BakDACW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/BatoryGMS13,
  author       = {Don S. Batory and
                  Rui C. Gon{\c{c}}alves and
                  Bryan Marker and
                  Janet Siegmund},
  editor       = {Martin Erwig and
                  Richard F. Paige and
                  Eric Van Wyk},
  title        = {Dark Knowledge and Graph Grammars in Automated Software Design},
  booktitle    = {Software Language Engineering - 6th International Conference, {SLE}
                  2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8225},
  pages        = {1--18},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-02654-1\_1},
  doi          = {10.1007/978-3-319-02654-1\_1},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sle/BatoryGMS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/CombemaleDLMBBF13,
  author       = {Beno{\^{\i}}t Combemale and
                  Julien De Antoni and
                  Matias Vara Larsen and
                  Fr{\'{e}}d{\'{e}}ric Mallet and
                  Olivier Barais and
                  Benoit Baudry and
                  Robert B. France},
  editor       = {Martin Erwig and
                  Richard F. Paige and
                  Eric Van Wyk},
  title        = {Reifying Concurrency for Executable Metamodeling},
  booktitle    = {Software Language Engineering - 6th International Conference, {SLE}
                  2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8225},
  pages        = {365--384},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-02654-1\_20},
  doi          = {10.1007/978-3-319-02654-1\_20},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sle/CombemaleDLMBBF13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/DialloCL13,
  author       = {Papa Issa Diallo and
                  Jo{\"{e}}l Champeau and
                  Lo{\"{\i}}c Lagadec},
  editor       = {Martin Erwig and
                  Richard F. Paige and
                  Eric Van Wyk},
  title        = {A Model-Driven Approach to Enhance Tool Interoperability Using the
                  Theory of Models of Computation},
  booktitle    = {Software Language Engineering - 6th International Conference, {SLE}
                  2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8225},
  pages        = {218--237},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-02654-1\_12},
  doi          = {10.1007/978-3-319-02654-1\_12},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sle/DialloCL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/DiskinKM13,
  author       = {Zinovy Diskin and
                  Sahar Kokaly and
                  Tom Maibaum},
  editor       = {Martin Erwig and
                  Richard F. Paige and
                  Eric Van Wyk},
  title        = {Mapping-Aware Megamodeling: Design Patterns and Laws},
  booktitle    = {Software Language Engineering - 6th International Conference, {SLE}
                  2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8225},
  pages        = {322--343},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-02654-1\_18},
  doi          = {10.1007/978-3-319-02654-1\_18},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sle/DiskinKM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/ErdwegSVBBCGHKLKMPPSSSVVVWW13,
  author       = {Sebastian Erdweg and
                  Tijs van der Storm and
                  Markus V{\"{o}}lter and
                  Meinte Boersma 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},
  editor       = {Martin Erwig and
                  Richard F. Paige and
                  Eric Van Wyk},
  title        = {The State of the Art in Language Workbenches - Conclusions from the
                  Language Workbench Challenge},
  booktitle    = {Software Language Engineering - 6th International Conference, {SLE}
                  2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8225},
  pages        = {197--217},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-02654-1\_11},
  doi          = {10.1007/978-3-319-02654-1\_11},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sle/ErdwegSVBBCGHKLKMPPSSSVVVWW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/FehrenbachEO13,
  author       = {Stefan Fehrenbach and
                  Sebastian Erdweg and
                  Klaus Ostermann},
  editor       = {Martin Erwig and
                  Richard F. Paige and
                  Eric Van Wyk},
  title        = {Software Evolution to Domain-Specific Languages},
  booktitle    = {Software Language Engineering - 6th International Conference, {SLE}
                  2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8225},
  pages        = {96--116},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-02654-1\_6},
  doi          = {10.1007/978-3-319-02654-1\_6},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sle/FehrenbachEO13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/KlintR13,
  author       = {Paul Klint and
                  Riemer van Rozen},
  editor       = {Martin Erwig and
                  Richard F. Paige and
                  Eric Van Wyk},
  title        = {Micro-Machinations - {A} {DSL} for Game Economies},
  booktitle    = {Software Language Engineering - 6th International Conference, {SLE}
                  2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8225},
  pages        = {36--55},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-02654-1\_3},
  doi          = {10.1007/978-3-319-02654-1\_3},
  timestamp    = {Mon, 01 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sle/KlintR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/LammelMV13,
  author       = {Ralf L{\"{a}}mmel and
                  Dominik Mosen and
                  Andrei Varanovich},
  editor       = {Martin Erwig and
                  Richard F. Paige and
                  Eric Van Wyk},
  title        = {Method and Tool Support for Classifying Software Languages with Wikipedia},
  booktitle    = {Software Language Engineering - 6th International Conference, {SLE}
                  2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8225},
  pages        = {249--259},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-02654-1\_14},
  doi          = {10.1007/978-3-319-02654-1\_14},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sle/LammelMV13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/MayerhoferLWK13,
  author       = {Tanja Mayerhofer and
                  Philip Langer and
                  Manuel Wimmer and
                  Gerti Kappel},
  editor       = {Martin Erwig and
                  Richard F. Paige and
                  Eric Van Wyk},
  title        = {xMOF: Executable DSMLs Based on fUML},
  booktitle    = {Software Language Engineering - 6th International Conference, {SLE}
                  2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8225},
  pages        = {56--75},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-02654-1\_4},
  doi          = {10.1007/978-3-319-02654-1\_4},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sle/MayerhoferLWK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/PearceG13,
  author       = {David J. Pearce and
                  Lindsay Groves},
  editor       = {Martin Erwig and
                  Richard F. Paige and
                  Eric Van Wyk},
  title        = {Whiley: {A} Platform for Research in Software Verification},
  booktitle    = {Software Language Engineering - 6th International Conference, {SLE}
                  2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8225},
  pages        = {238--248},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-02654-1\_13},
  doi          = {10.1007/978-3-319-02654-1\_13},
  timestamp    = {Wed, 26 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sle/PearceG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/SobernigSB13,
  author       = {Stefan Sobernig and
                  Mark Strembeck and
                  Andreas Beck},
  editor       = {Martin Erwig and
                  Richard F. Paige and
                  Eric Van Wyk},
  title        = {Developing a Domain-Specific Language for Scheduling in the European
                  Energy Sector},
  booktitle    = {Software Language Engineering - 6th International Conference, {SLE}
                  2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8225},
  pages        = {19--35},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-02654-1\_2},
  doi          = {10.1007/978-3-319-02654-1\_2},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sle/SobernigSB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/SoderbergH13,
  author       = {Emma S{\"{o}}derberg and
                  G{\"{o}}rel Hedin},
  editor       = {Martin Erwig and
                  Richard F. Paige and
                  Eric Van Wyk},
  title        = {Circular Higher-Order Reference Attribute Grammars},
  booktitle    = {Software Language Engineering - 6th International Conference, {SLE}
                  2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8225},
  pages        = {302--321},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-02654-1\_17},
  doi          = {10.1007/978-3-319-02654-1\_17},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sle/SoderbergH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/VacchiCPC13,
  author       = {Edoardo Vacchi and
                  Walter Cazzola and
                  Suresh Pillay and
                  Beno{\^{\i}}t Combemale},
  editor       = {Martin Erwig and
                  Richard F. Paige and
                  Eric Van Wyk},
  title        = {Variability Support in Domain-Specific Language Development},
  booktitle    = {Software Language Engineering - 6th International Conference, {SLE}
                  2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8225},
  pages        = {76--95},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-02654-1\_5},
  doi          = {10.1007/978-3-319-02654-1\_5},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sle/VacchiCPC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/VasudevanT13,
  author       = {Naveneetha Vasudevan and
                  Laurence Tratt},
  editor       = {Martin Erwig and
                  Richard F. Paige and
                  Eric Van Wyk},
  title        = {Detecting Ambiguity in Programming Language Grammars},
  booktitle    = {Software Language Engineering - 6th International Conference, {SLE}
                  2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8225},
  pages        = {157--176},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-02654-1\_9},
  doi          = {10.1007/978-3-319-02654-1\_9},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sle/VasudevanT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/WachsmuthKVGV13,
  author       = {Guido Wachsmuth and
                  Gabri{\"{e}}l D. P. Konat and
                  Vlad A. Vergu and
                  Danny M. Groenewegen and
                  Eelco Visser},
  editor       = {Martin Erwig and
                  Richard F. Paige and
                  Eric Van Wyk},
  title        = {A Language Independent Task Engine for Incremental Name and Type Analysis},
  booktitle    = {Software Language Engineering - 6th International Conference, {SLE}
                  2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8225},
  pages        = {260--280},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-02654-1\_15},
  doi          = {10.1007/978-3-319-02654-1\_15},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sle/WachsmuthKVGV13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/Zaytsev13,
  author       = {Vadim Zaytsev},
  editor       = {Martin Erwig and
                  Richard F. Paige and
                  Eric Van Wyk},
  title        = {Micropatterns in Grammars},
  booktitle    = {Software Language Engineering - 6th International Conference, {SLE}
                  2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8225},
  pages        = {117--136},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-02654-1\_7},
  doi          = {10.1007/978-3-319-02654-1\_7},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sle/Zaytsev13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sle/2013,
  editor       = {Martin Erwig and
                  Richard F. Paige and
                  Eric Van Wyk},
  title        = {Software Language Engineering - 6th International Conference, {SLE}
                  2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8225},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-02654-1},
  doi          = {10.1007/978-3-319-02654-1},
  isbn         = {978-3-319-02653-4},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sle/2013.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}