A formal semantics for a subset of Erlang
The talk will cover the design of a small step operational semantics
for a subset of the Erlang programming language.
Erlang combines an interesting mix of programming styles:
functional in the large, with call-by-value semantics,
and with prominent support for concurrency and
communication through the explicit introduction of
processes and message passing.
The developed semantics is a hierarchic one, in order
to cleanly separate these concerns.
The point of the presented work is not to create an authoritative
definition of the Erlang language - the language is to a very large
degree defined by its implementations.
The emphasis is rather on providing a semantics that is
practically useful for reasoning about Erlang programs,
or classes of Erlang programs,
by means of a proof system, and supported in a proof assistant tool.
Place: Information technology, Uppsala University
Room 1510 is in Building 1, Floor 5, room 10
(in the southern part of the building).
Time: 13.15-14.00 (+ discussions)
Help on how to find ASTEC Seminars.
There will be an extended period for discussions after the seminar.
Speakers are encouraged to give an short (5 min) introduction to the subject at the begining of the talk.
Listeners are excused if they have to leave after 14.00.
Everyone is welcome !
Updated 26-Jan-2001 17:26 by Roland Grönroos
e-mail: info -at- astec.uu.se