Having problems with message search?
| Reminder from: | erlangstockholm Yahoo! Group | |
| Title: | Type-based tools for sustainable development of Erlang programs | |
| Date: | Tuesday April 22, 2008 | |
| Time: | 6:00 pm - 7:00 pm | |
| Location: | Kreditor's new offices on S:t Eriksgatan 117 in Stockholm | |
| Street: | Kreditor, S:t Eriksgatan 117 | |
| City State Zip: | 113 43 Stockholm | |
| Notes: | Abstract:In this talk/demo combination we will review how three different type-based tools can be used to detect bugs in Erlang programs, document data structures and application interfaces, (in)validate hidden programming assumptions, and retrofit Erlang applications. In the process, we will also discuss the associated Erlang Enhancement Proposal (EEP8) which aims to add a type and specification language on top of Erlang. Two of the tools that will be reviewed (dialyzer & typer) are already part of the Erlang distribution. The third is yet to be named but is slowly maturing nonetheless. Biography:Kostis Sagonas is a travelling scientist interested in programming languages and software development. He an Associate Professor at the National Technical University of Athens, where the students occasionally allow him to work. He is also a Docent at Uppsala University leading the HiPE group where he has occasionally managed to convince its members to do what he thinks it's best for the project and for Erlang. In the last two years he has been obsessed with enriching Erlang with success (typings, that is) and contracts. If you are interested in attending this free event, you have to register here: http://www.erlang-consulting.com/erlang/usergroup/erlangstockholm/sugregister.html By registering, you will enable us to plan room size and refreshments accordingly, provide Security with the name list of participants, and in those extreme cases where the number of places are limited, close registration as soon as we have reached the maximum room capacity or find a larger room. The presentations will start at 18.30 and last about 30 minutes. The event will be followed by an ErlLounge in a nearby pub. | |
| Get reminders on your mobile, Yahoo! Messenger, and email. Edit reminder options |
||
Send Email