Java Virtual Machine-02
A Certified Implementation on top of the Java Virtual Machine
FREE-DOWNLOAD J de Dios… – Formal Methods for Industrial Critical Systems, 2009 –
Abstract. Safe is a first-order functional language with unusual mem- ory management
features: memory can be both explicitly and implicitly deallocated at some specific points in the
program text, and there is no need for a runtime garbage collector. The final code is