欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
JCA: J2EE Connector Architecture
Java 2 连接器体系结构(JCA)定义了一种用来使 J2EE 应用程序与非 J2EE 环境用一种安全的、事务性的方式进行通信的方法。
http://java.sun.com/j2ee/connector/