Search dblp for Publications

export results for "toc:db/conf/slap/slap2004.bht:"

 download as .bib file

@proceedings{DBLP:conf/slap/2004,
  editor       = {Florence Maraninchi and
                  Alain Girault and
                  Marc Pouzet},
  title        = {Proceedings of the Third International Workshop on Synchronous Languages,
                  Applications, and Programs, {SLAP} 2004, Satellite Event of {ETAPS}
                  2004, Barcelona, Spain, March 28, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {153},
  number       = {4},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/153/issue/4},
  timestamp    = {Fri, 20 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/slap/2004.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BuddePS06,
  author       = {Reinhard Budde and
                  Axel Poign{\'{e}} and
                  Karl{-}Heinz Sylla},
  editor       = {Florence Maraninchi and
                  Alain Girault and
                  Marc Pouzet},
  title        = {synERJY An Object-oriented Synchronous Language},
  booktitle    = {Proceedings of the Third International Workshop on Synchronous Languages,
                  Applications, and Programs, {SLAP} 2004, Satellite Event of {ETAPS}
                  2004, Barcelona, Spain, March 28, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {153},
  number       = {4},
  pages        = {99--115},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2006.02.026},
  doi          = {10.1016/J.ENTCS.2006.02.026},
  timestamp    = {Fri, 20 Jan 2023 11:01:08 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BuddePS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/EdwardsKH06,
  author       = {Stephen A. Edwards and
                  Vimal Kapadia and
                  Michael Halasz},
  editor       = {Florence Maraninchi and
                  Alain Girault and
                  Marc Pouzet},
  title        = {Compiling Esterel into Static Discrete-Event Code},
  booktitle    = {Proceedings of the Third International Workshop on Synchronous Languages,
                  Applications, and Programs, {SLAP} 2004, Satellite Event of {ETAPS}
                  2004, Barcelona, Spain, March 28, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {153},
  number       = {4},
  pages        = {117--131},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2006.02.027},
  doi          = {10.1016/J.ENTCS.2006.02.027},
  timestamp    = {Fri, 20 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/EdwardsKH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/GonnordHR06,
  author       = {Laure Gonnord and
                  Nicolas Halbwachs and
                  Pascal Raymond},
  editor       = {Florence Maraninchi and
                  Alain Girault and
                  Marc Pouzet},
  title        = {From Discrete Duration Calculus to Symbolic Automata},
  booktitle    = {Proceedings of the Third International Workshop on Synchronous Languages,
                  Applications, and Programs, {SLAP} 2004, Satellite Event of {ETAPS}
                  2004, Barcelona, Spain, March 28, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {153},
  number       = {4},
  pages        = {3--18},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2006.02.022},
  doi          = {10.1016/J.ENTCS.2006.02.022},
  timestamp    = {Fri, 20 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GonnordHR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Hamon06,
  author       = {Gr{\'{e}}goire Hamon},
  editor       = {Florence Maraninchi and
                  Alain Girault and
                  Marc Pouzet},
  title        = {Synchronous Dataflow Pattern Matching},
  booktitle    = {Proceedings of the Third International Workshop on Synchronous Languages,
                  Applications, and Programs, {SLAP} 2004, Satellite Event of {ETAPS}
                  2004, Barcelona, Spain, March 28, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {153},
  number       = {4},
  pages        = {37--54},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2006.02.024},
  doi          = {10.1016/J.ENTCS.2006.02.024},
  timestamp    = {Fri, 20 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Hamon06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/MaraninchiGP06,
  author       = {Florence Maraninchi and
                  Alain Girault and
                  Marc Pouzet},
  editor       = {Florence Maraninchi and
                  Alain Girault and
                  Marc Pouzet},
  title        = {Preface},
  booktitle    = {Proceedings of the Third International Workshop on Synchronous Languages,
                  Applications, and Programs, {SLAP} 2004, Satellite Event of {ETAPS}
                  2004, Barcelona, Spain, March 28, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {153},
  number       = {4},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2006.05.001},
  doi          = {10.1016/J.ENTCS.2006.05.001},
  timestamp    = {Fri, 20 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/MaraninchiGP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/SchneiderBS06,
  author       = {Klaus Schneider and
                  Jens Brandt and
                  Tobias Sch{\"{u}}le},
  editor       = {Florence Maraninchi and
                  Alain Girault and
                  Marc Pouzet},
  title        = {A Verified Compiler for Synchronous Programs with Local Declarations},
  booktitle    = {Proceedings of the Third International Workshop on Synchronous Languages,
                  Applications, and Programs, {SLAP} 2004, Satellite Event of {ETAPS}
                  2004, Barcelona, Spain, March 28, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {153},
  number       = {4},
  pages        = {71--97},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2006.02.028},
  doi          = {10.1016/J.ENTCS.2006.02.028},
  timestamp    = {Fri, 20 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/SchneiderBS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Tardieu06,
  author       = {Olivier Tardieu},
  editor       = {Florence Maraninchi and
                  Alain Girault and
                  Marc Pouzet},
  title        = {Goto and Concurrency Introducing Safe Jumps in Esterel},
  booktitle    = {Proceedings of the Third International Workshop on Synchronous Languages,
                  Applications, and Programs, {SLAP} 2004, Satellite Event of {ETAPS}
                  2004, Barcelona, Spain, March 28, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {153},
  number       = {4},
  pages        = {55--70},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2006.02.025},
  doi          = {10.1016/J.ENTCS.2006.02.025},
  timestamp    = {Fri, 20 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Tardieu06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/VecchieS06,
  author       = {Eric Vecchi{\'{e}} and
                  Robert de Simone},
  editor       = {Florence Maraninchi and
                  Alain Girault and
                  Marc Pouzet},
  title        = {Syntax-driven Behavior Partitioning for Model-checking of Esterel
                  Programs},
  booktitle    = {Proceedings of the Third International Workshop on Synchronous Languages,
                  Applications, and Programs, {SLAP} 2004, Satellite Event of {ETAPS}
                  2004, Barcelona, Spain, March 28, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {153},
  number       = {4},
  pages        = {19--35},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2006.02.023},
  doi          = {10.1016/J.ENTCS.2006.02.023},
  timestamp    = {Fri, 20 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/VecchieS06.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.