NEWS
changeset 14011 5fa103f5618c
parent 14010 32faa7e2e767
child 14018 3ef6c509f29c
     1.1 --- a/NEWS	Mon May 12 14:16:38 2003 +0200
     1.2 +++ b/NEWS	Mon May 12 14:17:55 2003 +0200
     1.3 @@ -174,12 +174,16 @@
     1.4  
     1.5  * UNITY: added the Meier-Sanders theory of progress sets;
     1.6  
     1.7 +* MicroJava: bytecode verifier and lightweight bytecode verifier
     1.8 +as abstract algorithms, instantiated to the JVM;
     1.9 +
    1.10  * Bali: Java source language formalization. Type system, operational
    1.11  semantics, axiomatic semantics. Supported language features:
    1.12  classes, interfaces, objects,virtual methods, static methods,
    1.13  static/instance fields, arrays, access modifiers, definite
    1.14  assignment, exceptions.
    1.15  
    1.16 +
    1.17  *** ZF ***
    1.18  
    1.19  * ZF/Constructible: consistency proof for AC (Gödel's constructible