search

overturetool / language

Overture Language Board issue tracking
2 stars 0 forks source link

Object Construction #14

Closed joey-coleman closed 10 years ago

joey-coleman commented 10 years ago

The following bug was originally reported on Sourceforge by nick_battle, 2010-12-18 18:33:30:

This issue represents the proposal in Section 2.2.1 of "VDM++ Object Oriented Issues", Nick Battle, issue 0.2.

joey-coleman commented 10 years ago

Comment by pglvdm, 2011-01-01 10:12:26:

I fully support this proposal

joey-coleman commented 10 years ago

Comment by nick_battle, 2011-07-03 17:38:34:

This is withdrawn, in anticipation of a solution from the Core Semantics group.