欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Dalvik
来自开放百科 - 灰狐
Dalvik Virtual Machine is a register-based virtual machine, designed and written by Dan Bornstein with contributions from other Google engineers as part of the Android.
Dalvik use Apache Harmony (which is under Apache License) instead of OpenJDK to allow cell phone makers to modify the core JVM without having to distribute their code.
Links
- Dan Bornstein: http://www.milk.com/home/danfuzz/
- http://www.dalvikvm.com/
分享您的观点