Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Albatross_(programming_language)> ?p ?o }
Showing triples 1 to 63 of
63
with 100 triples per page.
- Albatross_(programming_language) abstract "Albatross is a general purpose programming language which can be verified statically.".
- Albatross_(programming_language) influencedBy Coq.
- Albatross_(programming_language) influencedBy Eiffel_(programming_language).
- Albatross_(programming_language) wikiPageExternalLink albatross-lang.sourceforge.net.
- Albatross_(programming_language) wikiPageID "47560654".
- Albatross_(programming_language) wikiPageLength "1322".
- Albatross_(programming_language) wikiPageOutDegree "13".
- Albatross_(programming_language) wikiPageRevisionID "680137447".
- Albatross_(programming_language) wikiPageWikiLink Category:Class-based_programming_languages.
- Albatross_(programming_language) wikiPageWikiLink Category:Formal_specification_languages.
- Albatross_(programming_language) wikiPageWikiLink Category:Free_theorem_provers.
- Albatross_(programming_language) wikiPageWikiLink Category:High_Integrity_Programming_Language.
- Albatross_(programming_language) wikiPageWikiLink Category:Object-oriented_programming.
- Albatross_(programming_language) wikiPageWikiLink Category:Programming_languages_created_in_the_20th_century.
- Albatross_(programming_language) wikiPageWikiLink Category:Proof_assistants.
- Albatross_(programming_language) wikiPageWikiLink Coq.
- Albatross_(programming_language) wikiPageWikiLink Cross-platform.
- Albatross_(programming_language) wikiPageWikiLink Eiffel_(programming_language).
- Albatross_(programming_language) wikiPageWikiLink Object-oriented_programming.
- Albatross_(programming_language) wikiPageWikiLink Static_typing.
- Albatross_(programming_language) wikiPageWikiLink Strong_and_weak_typing.
- Albatross_(programming_language) wikiPageWikiLink Strong_typing.
- Albatross_(programming_language) wikiPageWikiLink Type_system.
- Albatross_(programming_language) hasPhotoCollection Albatross_(programming_language).
- Albatross_(programming_language) implementations albatross-lang.sourceforge.net.
- Albatross_(programming_language) influencedBy Coq.
- Albatross_(programming_language) influencedBy Eiffel_(programming_language).
- Albatross_(programming_language) license "GPL v2".
- Albatross_(programming_language) name "Albatross".
- Albatross_(programming_language) operatingSystem Cross-platform.
- Albatross_(programming_language) paradigm "Functional, Imperative, Statically Verified, object-oriented".
- Albatross_(programming_language) typing Static_typing.
- Albatross_(programming_language) typing Strong_and_weak_typing.
- Albatross_(programming_language) typing Strong_typing.
- Albatross_(programming_language) typing Type_system.
- Albatross_(programming_language) website albatross-lang.sourceforge.net.
- Albatross_(programming_language) wikiPageUsesTemplate Template:Infobox_programming_language.
- Albatross_(programming_language) wikiPageUsesTemplate Template:Reflist.
- Albatross_(programming_language) year "2015".
- Albatross_(programming_language) subject Category:Class-based_programming_languages.
- Albatross_(programming_language) subject Category:Formal_specification_languages.
- Albatross_(programming_language) subject Category:Free_theorem_provers.
- Albatross_(programming_language) subject Category:High_Integrity_Programming_Language.
- Albatross_(programming_language) subject Category:Object-oriented_programming.
- Albatross_(programming_language) subject Category:Programming_languages_created_in_the_20th_century.
- Albatross_(programming_language) subject Category:Proof_assistants.
- Albatross_(programming_language) hypernym Language.
- Albatross_(programming_language) type Language.
- Albatross_(programming_language) type ProgrammingLanguage.
- Albatross_(programming_language) type Software.
- Albatross_(programming_language) type Work.
- Albatross_(programming_language) type CreativeWork.
- Albatross_(programming_language) type Thing.
- Albatross_(programming_language) type Q386724.
- Albatross_(programming_language) type Q7397.
- Albatross_(programming_language) type Q9143.
- Albatross_(programming_language) comment "Albatross is a general purpose programming language which can be verified statically.".
- Albatross_(programming_language) label "Albatross (programming language)".
- Albatross_(programming_language) wasDerivedFrom Albatross_(programming_language)?oldid=680137447.
- Albatross_(programming_language) homepage albatross-lang.sourceforge.net.
- Albatross_(programming_language) isPrimaryTopicOf Albatross_(programming_language).
- Albatross_(programming_language) name "Albatross".
- Albatross_(programming_language) page albatross-lang.sourceforge.net.