Property-based testing: the ProTest project
FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
| Hi-index | 0.00 |
It is our great pleasure to welcome you to the 7th ACM SIGPLAN Erlang Workshop, Erlang'08. This years workshop continues the tradition of being co-located with the annual International Conference on Functional Programming (ICFP), and being a forum for the presentation of research theory, implementation and applications of the Erlang programming language. The program committee accepted 10 papers that cover a variety of topics, including language aspects, typing, refactoring, testing, high-performance computing and applications. The program committee also invited a keynote presentation on the future of Erlang. We are very grateful to the program committee members, the reviewers, the authors and to the invited speaker, for the time and effort they devoted to provide such a high quality program. The papers were each carefully checked by two reviewers selected from among the most qualified available and then revised once more by the authors. The workshop continues the tradition to include into the program a five minutes talks session to provide opportunities for all participants to introduce themselves and their Erlang interests.