default search action
Search dblp for Publications
export results for "toc:db/conf/erlang/erlang2009.bht:"
@inproceedings{DBLP:conf/erlang/AvgerinosS09, author = {Thanassis Avgerinos and Konstantinos Sagonas}, editor = {Clara Benac Earle and Simon J. Thompson}, title = {Cleaning up Erlang code is a dirty job but somebody's gotta do it}, booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} Workshop on Erlang, Edinburgh, Scotland, UK, September 5, 2009}, pages = {1--10}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1596600.1596602}, doi = {10.1145/1596600.1596602}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/erlang/AvgerinosS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/erlang/CortesGHHPR09, author = {Hugo Cort{\'{e}}s and M{\'{o}}nica Garc{\'{\i}}a and Jorge Hern{\'{a}}ndez and Manuel Hern{\'{a}}ndez{-}Guti{\'{e}}rrez and Esperanza P{\'{e}}rez{-}Cordoba and Erik Ramos}, editor = {Clara Benac Earle and Simon J. Thompson}, title = {Development of a distributed system applied to teaching and learning}, booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} Workshop on Erlang, Edinburgh, Scotland, UK, September 5, 2009}, pages = {41--50}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1596600.1596607}, doi = {10.1145/1596600.1596607}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/erlang/CortesGHHPR09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/erlang/EarleF09, author = {Clara Benac Earle and Lars{-}{\AA}ke Fredlund}, editor = {Clara Benac Earle and Simon J. Thompson}, title = {Recent improvements to the McErlang model checker}, booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} Workshop on Erlang, Edinburgh, Scotland, UK, September 5, 2009}, pages = {93--100}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1596600.1596613}, doi = {10.1145/1596600.1596613}, timestamp = {Fri, 27 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/erlang/EarleF09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/erlang/FeherB09, author = {G{\'{a}}bor Feh{\'{e}}r and Andr{\'{a}}s G. B{\'{e}}k{\'{e}}s}, editor = {Clara Benac Earle and Simon J. Thompson}, title = {{ECT:} an object-oriented extension to Erlang}, booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} Workshop on Erlang, Edinburgh, Scotland, UK, September 5, 2009}, pages = {51--62}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1596600.1596608}, doi = {10.1145/1596600.1596608}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/erlang/FeherB09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/erlang/GrunerL09, author = {Sten Gr{\"{u}}ner and Thomas Lorentsen}, editor = {Clara Benac Earle and Simon J. Thompson}, title = {Teaching Erlang using robotics and player/stage}, booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} Workshop on Erlang, Edinburgh, Scotland, UK, September 5, 2009}, pages = {33--40}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1596600.1596606}, doi = {10.1145/1596600.1596606}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/erlang/GrunerL09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/erlang/Lovei09, author = {L{\'{a}}szl{\'{o}} L{\"{o}}vei}, editor = {Clara Benac Earle and Simon J. Thompson}, title = {Automated module interface upgrade}, booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} Workshop on Erlang, Edinburgh, Scotland, UK, September 5, 2009}, pages = {11--22}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1596600.1596603}, doi = {10.1145/1596600.1596603}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/erlang/Lovei09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/erlang/Nystrom09, author = {Jan Henry Nystr{\"{o}}m}, editor = {Clara Benac Earle and Simon J. Thompson}, title = {Automatic assessment of failure recovery in Erlang applications}, booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} Workshop on Erlang, Edinburgh, Scotland, UK, September 5, 2009}, pages = {23--32}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1596600.1596604}, doi = {10.1145/1596600.1596604}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/erlang/Nystrom09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/erlang/PaladiA09, author = {Nicolae Paladi and Thomas Arts}, editor = {Clara Benac Earle and Simon J. Thompson}, title = {Model based testing of data constraints: testing the business logic of a Mnesia application with Quviq QuickCheck}, booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} Workshop on Erlang, Edinburgh, Scotland, UK, September 5, 2009}, pages = {71--82}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1596600.1596611}, doi = {10.1145/1596600.1596611}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/erlang/PaladiA09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/erlang/ParisA09, author = {Javier Par{\'{\i}}s and Thomas Arts}, editor = {Clara Benac Earle and Simon J. Thompson}, title = {Automatic testing of {TCP/IP} implementations using QuickCheck}, booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} Workshop on Erlang, Edinburgh, Scotland, UK, September 5, 2009}, pages = {83--92}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1596600.1596612}, doi = {10.1145/1596600.1596612}, timestamp = {Mon, 23 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/erlang/ParisA09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/erlang/Svensson09, author = {Hans Svensson}, editor = {Clara Benac Earle and Simon J. Thompson}, title = {Implementing an LTL-to-B{\"{u}}chi translator in Erlang: a protest experience report}, booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} Workshop on Erlang, Edinburgh, Scotland, UK, September 5, 2009}, pages = {63--70}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1596600.1596610}, doi = {10.1145/1596600.1596610}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/erlang/Svensson09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/erlang/2009, editor = {Clara Benac Earle and Simon J. Thompson}, title = {Proceedings of the 8th {ACM} {SIGPLAN} Workshop on Erlang, Edinburgh, Scotland, UK, September 5, 2009}, publisher = {{ACM}}, year = {2009}, isbn = {978-1-60558-507-9}, timestamp = {Tue, 22 Sep 2009 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/erlang/2009.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.