欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
ThinWire
来自开放百科 - 灰狐
ThinWire 是一种开放源码开发框架，用来轻松地构建 Web 应用程序。
特性
- 用于 Rich Internet Applications（RIA）体系结构的开发框架，其中利用了 Ajax 技术
- 大家熟悉的事件驱动的 GUI 编程模型
- 只用服务器端语言进行开发
o 不必使用 HTML、CSS 或 JavaScript o 程序完全是用 Java 代码编写的
- 支持所有主流浏览器
- 可以部署在任何 Java Servlet 容器上
分享您的观点
