A formal semantics for a subset of Erlang

Lars-åke Fredlund

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.

ASTEC seminar
January 30, 2001

Place: Information technology, Uppsala University
Room: 1510
Time: 13.15-14.00 (+ discussions)

Room 1510 is in Building 1, Floor 5, room 10 (in the southern part of the building).

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-    Location: