Statements (22)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:programming_language
|
| gptkbp:basedOn |
gptkb:Java
|
| gptkbp:designedFor |
information-flow security
|
| gptkbp:developedBy |
gptkb:Cornell_University
|
| gptkbp:developer |
gptkb:Andrew_C._Myers
|
| gptkbp:firstAppearance |
2001
|
| gptkbp:influencedBy |
gptkb:Java
|
| gptkbp:latestReleaseVersion |
3.5.0
|
| gptkbp:license |
gptkb:GNU_General_Public_License
|
| gptkbp:notableFeature |
information flow control
confidentiality and integrity policies security-typed language |
| gptkbp:paradigm |
imperative
object-oriented structured |
| gptkbp:repository |
https://github.com/arinerron/jif
|
| gptkbp:typingDiscipline |
strong
static |
| gptkbp:website |
http://www.cs.cornell.edu/jif/
|
| gptkbp:bfsParent |
gptkb:Andrew_C._Myers
|
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
Jif programming language
|