| changeset 14010 | 32faa7e2e767 |
| parent 14008 | f843528b9f3c |
| child 14011 | 5fa103f5618c |
--- a/NEWS Mon May 12 13:57:23 2003 +0200 +++ b/NEWS Mon May 12 14:16:38 2003 +0200 @@ -174,6 +174,11 @@ * UNITY: added the Meier-Sanders theory of progress sets; +* Bali: Java source language formalization. Type system, operational +semantics, axiomatic semantics. Supported language features: +classes, interfaces, objects,virtual methods, static methods, +static/instance fields, arrays, access modifiers, definite +assignment, exceptions. *** ZF ***