Bali
authorschirmer
Mon May 12 14:16:38 2003 +0200 (2003-05-12)
changeset 1401032faa7e2e767
parent 14009 0d648f24bab4
child 14011 5fa103f5618c
Bali
NEWS
     1.1 --- a/NEWS	Mon May 12 13:57:23 2003 +0200
     1.2 +++ b/NEWS	Mon May 12 14:16:38 2003 +0200
     1.3 @@ -174,6 +174,11 @@
     1.4  
     1.5  * UNITY: added the Meier-Sanders theory of progress sets;
     1.6  
     1.7 +* Bali: Java source language formalization. Type system, operational
     1.8 +semantics, axiomatic semantics. Supported language features:
     1.9 +classes, interfaces, objects,virtual methods, static methods,
    1.10 +static/instance fields, arrays, access modifiers, definite
    1.11 +assignment, exceptions.
    1.12  
    1.13  *** ZF ***
    1.14