[Grace-core] Inheritance and object initialisation

[Kim Bruce]

Because no one complained, I wrote up my proposed semantics of classes and objects generated from them.  I'm leaving now to meet my daughter in LA for dinner, so had to stop before talking about inheritance.  However, I suspect even this page and a half will take some time to digest (and I didn't even write down how method invocations work, though that is pretty easy).

Let me know if you have questions or comments.

Kim

-------------- next part --------------
A non-text attachment was scrubbed...
Name: semantics.pdf
Type: application/pdf
Size: 50936 bytes
Desc: not available
URL: <https://mailhost.cecs.pdx.edu/mailman/private/grace-core/attachments/20120717/dda10bb0/attachment-0001.pdf>
-------------- next part --------------

On Jul 17, 2012, at 2:48 PM, Kim Bruce wrote:

> I feel your pain!
> 
> Kim
> 
> 
> 
> On Jul 17, 2012, at 1:09 PM, James Noble wrote:
> 
>>> I'm a little surprised that no one else has weighed in on Michael's questions and my responses.  I'm about to sit down and write down a sketch of the formal semantics of classes/objects if no one has any objections to my interpretation.  On the other hand, it's a fairly tedious task and I don't want to do it if anyone objects strongly to my interpretation.  What say you?
>> 
>> on my side, just that it's the first week of term here, so starting teaching
>> has taken precedence. I'm hoping to get to this this afternoon or evening.
>> 
>> James
> 
> _______________________________________________
> Grace-core mailing list
> Grace-core at cecs.pdx.edu
> https://mailhost.cecs.pdx.edu/mailman/listinfo/grace-core