Fortress programming language

E567331

programming language

Fortress is a high-performance, mathematically oriented experimental programming language designed to explore parallelism and productivity in scientific and technical computing.

Try in SPARQL Jump to: Surface forms Disambiguation Statements Elicitation Referenced by

All labels observed (7)

Label	Occurrences
Fortress programming language canonical	2
Fortress 1.0 beta specification	1
Fortress Language Specification	1
Fortress Language Specification Version 1.0	1
Fortress Tutorial	1
Fortress: A Next-Generation Programming Language	1
Project Fortress on Google Code	1

How this entity was disambiguated

This entity first appeared as the object of triple T6057961 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.

NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07

Target entity: Fortress programming language
Context triple: [Guy L. Steele Jr., notableWork, Fortress programming language]

A. Eiffel programming language
Eiffel is an object-oriented programming language designed by Bertrand Meyer that emphasizes software correctness through features like Design by Contract and strong support for modular, reusable code.
B. Vale programming language
Vale is a memory-safe, performance-focused systems programming language that explores region-based memory management and borrow-checking concepts similar to those in Rust.
C. Oberon programming language
The Oberon programming language is a minimalist, modular, and strongly typed language designed by Niklaus Wirth as the successor to Modula-2, emphasizing simplicity and efficiency in both language and operating system design.
D. Limbo programming language
Limbo is a concurrent, modular programming language designed at Bell Labs for building distributed systems, notably used in the Inferno operating system.
E. Frontier scripting environment
Frontier scripting environment is an early, influential scripting system and object database for the Mac, known for enabling web content automation and pioneering blogging and RSS tools.
F. None of above. chosen
G. Unsure - the case is ambiguous/there is not enough information to decide.

NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07

Target entity: Fortress programming language
Target entity description: Fortress is a high-performance, mathematically oriented experimental programming language designed to explore parallelism and productivity in scientific and technical computing.

A. Eiffel programming language
Eiffel is an object-oriented programming language designed by Bertrand Meyer that emphasizes software correctness through features like Design by Contract and strong support for modular, reusable code.
B. Vale programming language
Vale is a memory-safe, performance-focused systems programming language that explores region-based memory management and borrow-checking concepts similar to those in Rust.
C. Oberon programming language
The Oberon programming language is a minimalist, modular, and strongly typed language designed by Niklaus Wirth as the successor to Modula-2, emphasizing simplicity and efficiency in both language and operating system design.
D. Limbo programming language
Limbo is a concurrent, modular programming language designed at Bell Labs for building distributed systems, notably used in the Inferno operating system.
E. Frontier scripting environment
Frontier scripting environment is an early, influential scripting system and object database for the Mac, known for enabling web content automation and pioneering blogging and RSS tools.
F. None of above. chosen

Statements (69)

Predicate	Object
instanceOf	programming language ⓘ
announcement	Fortress: A Next-Generation Programming Language ⓘ linked to: Fortress programming language
category	Sun Microsystems software project ⓘ parallel programming language ⓘ scientific programming language ⓘ
designer	Bill Joy ⓘ Christine Flood ⓘ David Chase ⓘ Doug Lea ⓘ Eric Allen ⓘ Gilad Bracha ⓘ Guy L. Steele Jr. ⓘ Guy L. Steele Jr. et al. ⓘ linked to: Guy L. Steele Jr. Jan-Willem Maessen ⓘ Timothy Sweeney ⓘ Vijay Saraswat ⓘ
developer	Sun Microsystems Laboratories ⓘ linked to: Sun Microsystems
developmentStatus	research project concluded ⓘ
documentation	Fortress Language Specification Version 1.0 ⓘ linked to: Fortress programming language Fortress Tutorial ⓘ linked to: Fortress programming language
endOfActiveDevelopmentAnnouncement	2012 ⓘ
executionModel	implicitly parallel loops ⓘ support for data parallelism ⓘ support for task parallelism ⓘ
firstPublicSpecification	2005 ⓘ
goal	explore implicit parallelism for scientific codes ⓘ improve productivity in high-performance computing ⓘ provide a modern alternative to Fortran ⓘ
hasSpecification	Fortress Language Specification ⓘ linked to: Fortress programming language
hasVersion	Fortress 1.0 beta specification ⓘ linked to: Fortress programming language
implementation	Fortress reference interpreter ⓘ
implementationLanguage	Java ⓘ
inception	2005 ⓘ
inspiredBy	APL ⓘ Fortran ⓘ Haskell ⓘ Java ⓘ Mathematica ⓘ
license	open-source license ⓘ
notableFeature	component-based module system ⓘ comprehensions and generators ⓘ implicit parallelism ⓘ mathematical notation in source code ⓘ rich type system with traits ⓘ support for Unicode mathematical symbols ⓘ transactions and atomic blocks ⓘ units of measure in the type system ⓘ
paradigm	functional programming ⓘ imperative programming ⓘ object-oriented programming ⓘ parallel programming ⓘ
presentedAt	OOPSLA 2005 ⓘ linked to: OOPSLA
repository	Project Fortress on Google Code ⓘ linked to: Fortress programming language
runsOn	Java Virtual Machine ⓘ
sponsor	DARPA ⓘ linked to: Defense Advanced Research Projects Agency High Productivity Computing Systems program ⓘ
status	discontinued ⓘ
supports	generic programming ⓘ multiple dispatch ⓘ overloading based on traits ⓘ parallel collections ⓘ
syntaxStyle	block-structured syntax ⓘ mathematics-like syntax ⓘ
targetDomain	high-performance computing ⓘ scientific computing ⓘ technical computing ⓘ
typingDiscipline	static typing ⓘ strong typing ⓘ type inference ⓘ