Skip to content

BicoDescription

Jump to bottom Edit New page
Attila Sukosd edited this page Mar 15, 2013 · 4 revisions

Bicolano (Pic06) is a Coq library that formalizes the memory model of Java, as well as the bytecode instructions and their semantics. To translate Java classfiles into this Coq formalization, a tool called Bico has been developed within Mobius. This is a joint work of INRIA and Warsaw University (Mobius Deliverable 3.1).

Version: 4 Time: Thu Mar 27 15:54:16 2008 Author: dcochran (dcochran) IP: 193.1.132.32

Add a custom footer
Add a custom sidebar
Clone this wiki locally