Fortress

Fortress is a new programming language being designed and developed at Oracle Labs. It is intended to provide static checking of an expressive type system, implicit, abundant parallelism managing with work-stealing, extensible definition through libraries, and syntax providing support for the expression of mathematical (and other) algorithms.


References in zbMATH (referenced in 15 articles )

Showing results 1 to 15 of 15.
Sorted by year (citations)

  1. Bettini, Lorenzo; Capecchi, Sara; Damiani, Ferruccio: On flexible dynamic trait replacement for Java-like languages (2013)
  2. Bettini, Lorenzo; Damiani, Ferruccio; Geilmann, Kathrin; Schäfer, Jan: Combining traits with boxes and ownership types in a Java-like setting (2013)
  3. Lapets, Andrei; Kfoury, Assaf: A user-friendly interface for a lightweight verification system (2012)
  4. Navabi, Armand; Zhang, Xiangyu; Jagannathan, Suresh: Dependence analysis for safe futures (2012)
  5. Kim, Jieung; Ryu, Sukyoung: Coq mechanization of featherweight fortress with multiple dispatch and multiple inheritance (2011)
  6. Li, Yue; Dos Reis, Gabriel: An automatic parallelization framework for algebraic computation systems (2011)
  7. Narang, Ankur; Shyamasundar, Rudrapatna K.: Performance driven distributed scheduling of parallel hybrid computations (2011)
  8. Hallett, J.J.; Luchangco, Victor; Ryu, Sukyoung; Steele, Guy L. jun.: Integrating coercion with subtyping and multiple dispatch (2010)
  9. Pirkelbauer, Peter; Solodkyy, Yuriy; Stroustrup, Bjarne: Design and evaluation of C++ open multi-methods (2010)
  10. Swierstra, Wouter: More dependent types for distributed arrays (2010)
  11. Bettini, Lorenzo; Capecchi, Sara; Venneri, Betti: Featherweight Java with dynamic and static overloading (2009)
  12. Ivannikov, V.P.; Avetisyan, A.I.; Gaissaryan, S.S.; Akopyan, M.S.: Implementation of parallel programs interpreter in the development environment ParJava (2009)
  13. Zhang, Lingli; Krintz, Chandra: As-if-serial exception handling semantics for Java futures (2009)
  14. Milovanović, Miloš; Ferrer, Roger; Gajinov, Vladimir; Unsal, Osman S.; Cristal, Adrian; Ayguadé, Eduard; Valero, Mateo: Nebelung: Execution environment for transactional openmp (2008)
  15. Carlstrom, Brian D.; Chung, Jaewoong; Chafi, Hassan; McDonald, Austen; Minh, Chi Cao; Hammond, Lance; Kozyrakis, Christos; Olukotun, Kunle: Executing Java programs with transactional memory (2006)