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 16 articles )

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

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