Re: Formal semantics for C
On 22-Dec-2001, Matthias Felleisen <email@example.com> wrote:
> [----- The Types Forum, http://www.cis.upenn.edu/~bcpierce/types -----]
> There is also the work by Gurevitch (Michigan) using evolving algebras:
> Yuri Gurevich and James K. Huggins, "The Semantics of the C Programming
> Language". First appeared in Selected papers from CSL'92 (Computer
> Science Logic), Springer Lecture Notes in Computer Science 702, 1993,
Just for accuracy, note that Yuri has been at Microsoft Research for a
few years now (see <http://research.microsoft.com/~gurevich/>).
His work on the general subject of Evolving Algebras continues, but now
under the title Abstract State Machines. There is also a newer (1999)
"Montage version" of the C semantics:
James K. Huggins and Wuwei Shen
"The Static and Dynamic Semantics of C"
Technical Report CPSC-2000-4, Computer Science Program,
Kettering University, 1999.
Postscript, PDF, etc. can be downloaded from this URL:
(links to more info on Montages may also be found there).
-- Fritz Ruehr
PS: I can't make any claims about EAs/ASMs/Montages, but I enjoyed
Yuri's contributions to Michigan's CS dept. while I was there.