search

overturetool / language

Overture Language Board issue tracking
2 stars 0 forks source link

Static Initialization #13

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:32:13:

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

joey-coleman commented 10 years ago

Comment by pglvdm, 2011-01-01 10:11:25:

I fully support this proposal

joey-coleman commented 10 years ago

Comment by nick_battle, 2011-07-03 17:37:47:

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