Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDErlang Workshop 2011: Tokyo, Japan
- Kenji Rikitake, Erik Stenman:
Proceedings of the 10th ACM SIGPLAN workshop on Erlang, Tokyo, Japan, September 23, 2011. ACM 2011, ISBN 978-1-4503-0859-5
Keynote address
- Steve Vinoski:
A decade of Yaws. 1
Language extensions
- Patrik Nyblom:
Erlang ETS tables and software transactional memory: how transactions make ETS tables more like ordinary actors. 2-13 - Thomas Arts, John Hughes, Ulf Norell, Nicholas Smallbone, Hans Svensson:
Accelerating race condition detection through procrastination. 14-22 - Stavros Aronis
, Konstantinos Sagonas:
Typed callbacks for more robust behaviours. 23-29
Testing and development
- Thomas Arts, Laura M. Castro:
Model-based testing of data types with side effects. 30-38 - Manolis Papadakis, Konstantinos Sagonas:
A PropEr integration of types and function specifications with property-based testing. 39-50 - Alkis Gotovos, Maria Christakis, Konstantinos Sagonas:
Test-driven development of concurrent programs using concuerror. 51-61
Testing with QuickCheck
- Thomas Arts, Pablo Lamela Seijas, Simon J. Thompson:
Extracting QuickCheck specifications from EUnit test cases. 62-71 - R. John M. Hughes, Hans Bolinder:
Testing a database for race conditions with QuickCheck. 72-77
Implementation and practice
- Kenji Rikitake:
SFMT pseudo random number generator for Erlang. 78-83 - Prashanth Mundkur, Ville H. Tuulos, Jared Flatow:
Disco: a computing platform for large-scale data analytics. 84-89
Poster session abstracts and summaries
- Shuhei Denzumi, Hiroki Arimura, Shin-ichi Minato:
Implementation of sequence BDDs in Erlang. 90-91 - Cláudio Amaral, Mário Florido, Patrik Jansson:
Interfacing dynamically typed languages and the why tool: reasoning about lists and tuples. 92-93 - Trevor Bain, Patrick Campbell, Jonas Karlsson:
Modeling growth and dynamics of neural networks via message passing in Erlang: neural models have a natural home in message passing functional programming languages. 94-97
a service of 
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.
last updated on 2024-04-22 21:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
