[erlang-questions] semantics hot code swapping in Erlang

[Austin Anderson]

Heya,

I'm wanting to get into researching hot code swapping and was wondering if
there was a (formal) semantics for Erlang's behaviour with respects to hot
code swapping. I have read the Erlang 4.7.3 Reference Manual which I found
through the website, which gives a semi-formal specification, but if there
exists either in Erlang or in one of its spin off statically typed versions
a formal specification as to how the system behaves with respects to hot
code swapping I would appreciate being pointed in its direction.

Regards,
Austin
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20081212/66cd501b/attachment.htm>