要塞

Fortress是Oracle实验室正在设计和开发的一种新的编程语言。它的目的是提供表达式类型系统的静态检查、隐式的、丰富的并行管理和工作窃取、通过库的可扩展定义以及为数学(和其他)算法的表达式提供支持的语法。


数学参考文献

显示第1到16个结果,共16个。
按年份排序(引用)

  1. Reis,Leonardo V.S.;Di Iorio,Vladimir O.;Bigonha,Roberto S.:编写和定义可扩展语言的动态语法修改机制(2015)
  2. Bettini,Lorenzo;Capecchi,Sara;Damiani,Ferruccio:关于Java类语言的灵活动态特征替换(2013)
  3. Bettini,Lorenzo;Damiani,Ferruccio;Geilmann,Kathrin;Schäfer,Jan:在一个类似Java的环境中结合特征与盒子和所有权类型(2013)
  4. Lapets,Andrei;Kfoury,Assaf:轻量级验证系统的用户友好界面(2012)
  5. Navabi,Armand;Zhang,Xianyu;Jagannathan,Suresh:安全期货的相关性分析(2012)
  6. Kim,Jiung;Ryu,Sukyong:具有多重分派和多重继承的羽化要塞的Coq机械化(2011)ioport公司
  7. Li,Yue;Dos Reis,Gabriel:代数计算系统的自动并行化框架(2011)
  8. Narang,Ankur;Shyamasundar,Rudrapatna K.:并行混合计算的性能驱动分布式调度(2011)
  9. Hallett,J.J.;Luchangco,Victor;Ryu,Sukyong;Steele,Guy L.jun.:整合胁迫与分型和多重分派(2010)
  10. Pirkelbauer,Peter;Solodkyy,Yuriy;Stroustrup,Bjarne:C++开放式多方法的设计与评估(2010)
  11. Swierstra,Wouter:分布式阵列的更多依赖类型(2010)
  12. Bettini,Lorenzo;Capecchi,Sara;Venneri,Betti:带有动态和静态重载的轻量级Java(2009)
  13. Ivannikov,V.P.;Avetisyan,A.I.;Gaissaryan,S.S.;Akopyan,M.S.:ParJava开发环境中并行程序解释器的实现(2009)
  14. Zhang,Lingli;Krintz,Chandra:JavaFutures的串行异常处理语义(2009)
  15. 《米尔加洛夫;米尔加洛夫;米尔奥瓦雷亚尔;纳瓦雷奥瓦雷奥瓦雷奥瓦雷奥瓦雷奥瓦雷奥瓦雷奥瓦雷奥瓦雷奥瓦雷奥瓦雷奥瓦雷奥瓦雷奥瓦雷奥瓦雷奥瓦雷奥瓦雷奥瓦雷奥瓦雷奥瓦雷奥瓦雷奥瓦雷奥瓦雷奥瓦雷奥瓦雷奥瓦雷奥瓦雷奥瓦雷奥瓦雷奥瓦莱奥瓦莱奥瓦莱
  16. Carlstrom,Brian D.;Chung,Jaewong;Chafi,Hassan;McDonald,Austen;Minh,Chi Cao;Hammond,Lance;Kozyrakis,Christos;Olukotun,Kunle:用事务性内存执行Java程序(2006)