HELP! formalizing OO

Maloney johnm at wdi.disney.com
Sat Apr 25 16:28:29 UTC 1998


At 2:13 AM -0400 4/25/98, Tansel Ersavas wrote:
>...
>If this is an assignment, then you can fake it by finding some attempts
>to address the issue such as [1] and [2]. You can also look at FOOD
>(formal OO development) FOOM (formal OO methodology) or even very
>appropriately named FOOL (Yes, you guessed it, formal OO language:). If
>you are genuinely looking for an answer then I recommend that you look
>far beyond the existing mathematical techniques, because you won't find
>the answers there.  
>
>[1] Formal Object-Oriented Development,Springer-Verlag, Formal
>Approaches to Computing and Information Technology Series Editor:
>Professor S.A.Schuman 
>[2] Formal Object-Oriented Development of Software Systems using LOTOS
>, Paul Gibson

Luca Cardelli, at DEC Systems Research Center, took a stab at
doing a formal semantic model for OO languages. Sorry, I don't
have a reference, but you may be able to find it on the web. It
was published as a DEC SRC technical report.

	-- John





More information about the Squeak-dev mailing list