咖啡师 swMATH ID: 22732 软件作者： 克雷克，X。 描述： Barista最初是一个OCaml库，用于加载、构造、操作和保存Java类文件。在该库上开发了一个命令行实用程序（也称为“barista”）：它是Java平台的汇编程序和反汇编程序。在2.0版中，Barista支持Java 1.7，需要OCaml 3.12.1才能构建。Barista用于OCaml-Java项目中的代码生成。 主页： http://barista.x9c.fr/ 相关软件： OCaml公司;巴特里西亚;ASTREE公司;烟尘;WALA公司;萨维亚;Coq公司 引用于： 1文件 全部的 前5名7位作者引用 1 尼古拉·巴雷 1 弗雷德里克·贝松 1 德尔芬·德曼吉 1 劳伦特·休伯特 1 文森特·蒙福特 1 大卫·皮哈迪 1 特平，蒂芬 0连载引用 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文