Search dblp for Publications

export results for "toc:db/conf/erlang/erlang2011.bht:"

 download as .bib file

@inproceedings{DBLP:conf/erlang/AmaralFJ11,
  author       = {Cl{\'{a}}udio Amaral and
                  M{\'{a}}rio Florido and
                  Patrik Jansson},
  editor       = {Kenji Rikitake and
                  Erik Stenman},
  title        = {Interfacing dynamically typed languages and the why tool: reasoning
                  about lists and tuples},
  booktitle    = {Proceedings of the 10th {ACM} {SIGPLAN} workshop on Erlang, Tokyo,
                  Japan, September 23, 2011},
  pages        = {92--93},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2034654.2034673},
  doi          = {10.1145/2034654.2034673},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/erlang/AmaralFJ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/erlang/AronisS11,
  author       = {Stavros Aronis and
                  Konstantinos Sagonas},
  editor       = {Kenji Rikitake and
                  Erik Stenman},
  title        = {Typed callbacks for more robust behaviours},
  booktitle    = {Proceedings of the 10th {ACM} {SIGPLAN} workshop on Erlang, Tokyo,
                  Japan, September 23, 2011},
  pages        = {23--29},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2034654.2034660},
  doi          = {10.1145/2034654.2034660},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/erlang/AronisS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/erlang/ArtsC11,
  author       = {Thomas Arts and
                  Laura M. Castro},
  editor       = {Kenji Rikitake and
                  Erik Stenman},
  title        = {Model-based testing of data types with side effects},
  booktitle    = {Proceedings of the 10th {ACM} {SIGPLAN} workshop on Erlang, Tokyo,
                  Japan, September 23, 2011},
  pages        = {30--38},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2034654.2034662},
  doi          = {10.1145/2034654.2034662},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/erlang/ArtsC11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/erlang/ArtsHNSS11,
  author       = {Thomas Arts and
                  John Hughes and
                  Ulf Norell and
                  Nicholas Smallbone and
                  Hans Svensson},
  editor       = {Kenji Rikitake and
                  Erik Stenman},
  title        = {Accelerating race condition detection through procrastination},
  booktitle    = {Proceedings of the 10th {ACM} {SIGPLAN} workshop on Erlang, Tokyo,
                  Japan, September 23, 2011},
  pages        = {14--22},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2034654.2034659},
  doi          = {10.1145/2034654.2034659},
  timestamp    = {Wed, 02 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/erlang/ArtsHNSS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/erlang/ArtsST11,
  author       = {Thomas Arts and
                  Pablo Lamela Seijas and
                  Simon J. Thompson},
  editor       = {Kenji Rikitake and
                  Erik Stenman},
  title        = {Extracting QuickCheck specifications from EUnit test cases},
  booktitle    = {Proceedings of the 10th {ACM} {SIGPLAN} workshop on Erlang, Tokyo,
                  Japan, September 23, 2011},
  pages        = {62--71},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2034654.2034666},
  doi          = {10.1145/2034654.2034666},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/erlang/ArtsST11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/erlang/BainCK11,
  author       = {Trevor Bain and
                  Patrick Campbell and
                  Jonas Karlsson},
  editor       = {Kenji Rikitake and
                  Erik Stenman},
  title        = {Modeling growth and dynamics of neural networks via message passing
                  in Erlang: neural models have a natural home in message passing functional
                  programming languages},
  booktitle    = {Proceedings of the 10th {ACM} {SIGPLAN} workshop on Erlang, Tokyo,
                  Japan, September 23, 2011},
  pages        = {94--97},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2034654.2034674},
  doi          = {10.1145/2034654.2034674},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/erlang/BainCK11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/erlang/DenzumiAM11,
  author       = {Shuhei Denzumi and
                  Hiroki Arimura and
                  Shin{-}ichi Minato},
  editor       = {Kenji Rikitake and
                  Erik Stenman},
  title        = {Implementation of sequence BDDs in Erlang},
  booktitle    = {Proceedings of the 10th {ACM} {SIGPLAN} workshop on Erlang, Tokyo,
                  Japan, September 23, 2011},
  pages        = {90--91},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2034654.2034672},
  doi          = {10.1145/2034654.2034672},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/erlang/DenzumiAM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/erlang/GotovosCS11,
  author       = {Alkis Gotovos and
                  Maria Christakis and
                  Konstantinos Sagonas},
  editor       = {Kenji Rikitake and
                  Erik Stenman},
  title        = {Test-driven development of concurrent programs using concuerror},
  booktitle    = {Proceedings of the 10th {ACM} {SIGPLAN} workshop on Erlang, Tokyo,
                  Japan, September 23, 2011},
  pages        = {51--61},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2034654.2034664},
  doi          = {10.1145/2034654.2034664},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/erlang/GotovosCS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/erlang/HughesB11,
  author       = {R. John M. Hughes and
                  Hans Bolinder},
  editor       = {Kenji Rikitake and
                  Erik Stenman},
  title        = {Testing a database for race conditions with QuickCheck},
  booktitle    = {Proceedings of the 10th {ACM} {SIGPLAN} workshop on Erlang, Tokyo,
                  Japan, September 23, 2011},
  pages        = {72--77},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2034654.2034667},
  doi          = {10.1145/2034654.2034667},
  timestamp    = {Tue, 20 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/erlang/HughesB11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/erlang/MundkurTF11,
  author       = {Prashanth Mundkur and
                  Ville H. Tuulos and
                  Jared Flatow},
  editor       = {Kenji Rikitake and
                  Erik Stenman},
  title        = {Disco: a computing platform for large-scale data analytics},
  booktitle    = {Proceedings of the 10th {ACM} {SIGPLAN} workshop on Erlang, Tokyo,
                  Japan, September 23, 2011},
  pages        = {84--89},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2034654.2034670},
  doi          = {10.1145/2034654.2034670},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/erlang/MundkurTF11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/erlang/Nyblom11,
  author       = {Patrik Nyblom},
  editor       = {Kenji Rikitake and
                  Erik Stenman},
  title        = {Erlang {ETS} tables and software transactional memory: how transactions
                  make {ETS} tables more like ordinary actors},
  booktitle    = {Proceedings of the 10th {ACM} {SIGPLAN} workshop on Erlang, Tokyo,
                  Japan, September 23, 2011},
  pages        = {2--13},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2034654.2034658},
  doi          = {10.1145/2034654.2034658},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/erlang/Nyblom11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/erlang/PapadakisS11,
  author       = {Manolis Papadakis and
                  Konstantinos Sagonas},
  editor       = {Kenji Rikitake and
                  Erik Stenman},
  title        = {A PropEr integration of types and function specifications with property-based
                  testing},
  booktitle    = {Proceedings of the 10th {ACM} {SIGPLAN} workshop on Erlang, Tokyo,
                  Japan, September 23, 2011},
  pages        = {39--50},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2034654.2034663},
  doi          = {10.1145/2034654.2034663},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/erlang/PapadakisS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/erlang/Rikitake11,
  author       = {Kenji Rikitake},
  editor       = {Kenji Rikitake and
                  Erik Stenman},
  title        = {{SFMT} pseudo random number generator for Erlang},
  booktitle    = {Proceedings of the 10th {ACM} {SIGPLAN} workshop on Erlang, Tokyo,
                  Japan, September 23, 2011},
  pages        = {78--83},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2034654.2034669},
  doi          = {10.1145/2034654.2034669},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/erlang/Rikitake11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/erlang/Vinoski11,
  author       = {Steve Vinoski},
  editor       = {Kenji Rikitake and
                  Erik Stenman},
  title        = {A decade of Yaws},
  booktitle    = {Proceedings of the 10th {ACM} {SIGPLAN} workshop on Erlang, Tokyo,
                  Japan, September 23, 2011},
  pages        = {1},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2034654.2034656},
  doi          = {10.1145/2034654.2034656},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/erlang/Vinoski11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/erlang/2011,
  editor       = {Kenji Rikitake and
                  Erik Stenman},
  title        = {Proceedings of the 10th {ACM} {SIGPLAN} workshop on Erlang, Tokyo,
                  Japan, September 23, 2011},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {http://dl.acm.org/citation.cfm?id=2034654},
  isbn         = {978-1-4503-0859-5},
  timestamp    = {Wed, 08 Feb 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/erlang/2011.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.