Fortress programming language
E567331
Fortress is a high-performance, mathematically oriented experimental programming language designed to explore parallelism and productivity in scientific and technical computing.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Fortress programming language canonical | 2 |
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 NERFINISHED ⓘ |
| category |
Sun Microsystems software project
ⓘ
parallel programming language ⓘ scientific programming language ⓘ |
| designer |
Bill Joy
NERFINISHED
ⓘ
Christine Flood NERFINISHED ⓘ David Chase NERFINISHED ⓘ Doug Lea NERFINISHED ⓘ Eric Allen NERFINISHED ⓘ Gilad Bracha NERFINISHED ⓘ Guy L. Steele Jr. NERFINISHED ⓘ Guy L. Steele Jr. et al. NERFINISHED ⓘ Jan-Willem Maessen NERFINISHED ⓘ Timothy Sweeney NERFINISHED ⓘ Vijay Saraswat NERFINISHED ⓘ |
| developer | Sun Microsystems Laboratories NERFINISHED ⓘ |
| developmentStatus | research project concluded ⓘ |
| documentation |
Fortress Language Specification Version 1.0
NERFINISHED
ⓘ
Fortress Tutorial NERFINISHED ⓘ |
| 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 NERFINISHED ⓘ |
| hasVersion | Fortress 1.0 beta specification NERFINISHED ⓘ |
| implementation | Fortress reference interpreter ⓘ |
| implementationLanguage | Java NERFINISHED ⓘ |
| inception | 2005 ⓘ |
| inspiredBy |
APL
NERFINISHED
ⓘ
Fortran NERFINISHED ⓘ Haskell NERFINISHED ⓘ Java NERFINISHED ⓘ Mathematica NERFINISHED ⓘ |
| 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 NERFINISHED ⓘ |
| repository | Project Fortress on Google Code NERFINISHED ⓘ |
| runsOn | Java Virtual Machine NERFINISHED ⓘ |
| sponsor |
DARPA
NERFINISHED
ⓘ
High Productivity Computing Systems program NERFINISHED ⓘ |
| 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 ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: Fortress programming language Description of subject: Fortress is a high-performance, mathematically oriented experimental programming language designed to explore parallelism and productivity in scientific and technical computing.
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.