This HTML5 document contains 154 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n16http://www.technologyreview.com/news/424836/new-language-for-programming-in-parallel/
n13https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
n18https://groups.google.com/group/
schemahttp://schema.org/
dbthttp://dbpedia.org/resource/Template:
dbpedia-ukhttp://uk.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
n23http://www.eetimes.com/design/embedded/4375616/
n25http://
n14http://commons.wikimedia.org/wiki/Special:FilePath/
n20http://www.eejournal.com/archives/articles/20120718-language/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/
n24http://www.eetimes.com/electronics-news/4218331/

Statements

Subject Item
dbr:List_of_concurrent_and_parallel_programming_languages
dbo:wikiPageWikiLink
dbr:ParaSail_(programming_language)
Subject Item
dbr:List_of_programming_languages
dbo:wikiPageWikiLink
dbr:ParaSail_(programming_language)
Subject Item
dbr:Concurrent_computing
dbo:wikiPageWikiLink
dbr:ParaSail_(programming_language)
Subject Item
dbr:Timeline_of_programming_languages
dbo:wikiPageWikiLink
dbr:ParaSail_(programming_language)
Subject Item
dbr:Ada_(programming_language)
dbo:wikiPageWikiLink
dbr:ParaSail_(programming_language)
dbo:influenced
dbr:ParaSail_(programming_language)
Subject Item
dbr:ParaSail_(programming_language)
rdf:type
dbo:Language yago:Language106282651 owl:Thing dbo:ProgrammingLanguage yago:ArtificialLanguage106894544 yago:Communication100033020 wikidata:Q315 yago:WikicatProgrammingLanguagesCreatedIn2009 schema:Language wikidata:Q9143 yago:Abstraction100002137 yago:ProgrammingLanguage106898352
rdfs:label
ParaSail ParaSail (programming language)
rdfs:comment
Parallel Specification and Implementation Language (ParaSail) is an object-oriented parallel programming language. Its design and ongoing implementation is described in a blog and on its official website. Initial design of ParaSail began in September 2009, by S. Tucker Taft. Both an interpreter using the ParaSail virtual machine, and an LLVM-based ParaSail compiler are available. Work stealing is used for scheduling ParaSail's light-weight threads. The latest version can be downloaded from the ParaSail website. ParaSail (абревіатура від англ. Parallel Specification and Implementation Language) — мова паралельної специфікації і реалізації, це об'єктно-орієнтована мова паралельного програмування. Розробка і реалізація ParaSail описується в блозі і на офіційному сайті [Архівовано 16 листопада 2021 у Wayback Machine.] мови. Початкова розробка ParaSail розпочалася у вересні 2009 року Такером Тафтом.
foaf:name
ParaSail
foaf:homepage
n25:parasail-lang.org
dbp:name
ParaSail
foaf:depiction
n14:Logo_for_ParaSail_Programming_Language.jpg
dcterms:subject
dbc:Cross-platform_software dbc:2009_software dbc:Free_software_projects dbc:Pascal_programming_language_family dbc:Procedural_programming_languages dbc:Concurrent_programming_languages dbc:Systems_programming_languages dbc:Programming_languages_created_in_2009
dbo:wikiPageID
36619168
dbo:wikiPageRevisionID
1114035238
dbo:wikiPageWikiLink
dbr:Race_condition dbc:Cross-platform_software dbr:SPARK_(programming_language) dbr:Parallel_programming_language dbr:Region-based_memory_management dbr:Hello_world_program dbr:Pascal_(programming_language) dbc:2009_software dbr:Interpreter_(computing) dbr:C_Sharp_(programming_language) dbc:Free_software_projects dbr:Modula dbr:ML_(programming_language) dbr:Pointer_(computer_programming) dbr:Imperative_programming dbr:Linux dbr:Structured_programming dbr:Syntax_(programming_languages) dbr:Class_invariant dbc:Pascal_programming_language_family dbr:Virtual_machine dbr:Object_(computer_science) dbr:Object-oriented_programming dbr:Compile_time dbr:LLVM dbr:X86 dbc:Systems_programming_languages dbr:Concurrent_programming dbc:Procedural_programming_languages dbr:Hoare_logic dbr:Strong_and_weak_typing dbc:Concurrent_programming_languages dbr:Precondition dbr:Assertion_(software_development) dbr:Work_stealing dbr:Compiled_language dbr:Garbage_collection_(computer_science) dbr:Postcondition dbr:GNU_General_Public_License dbr:Compiler dbr:Nim_(programming_language) dbc:Programming_languages_created_in_2009 dbr:Python_(programming_language) dbr:MacOS dbr:Ada_(programming_language) dbr:Thread_(computing) dbr:Java_(programming_language) dbr:Parallel_computing dbr:Microsoft_Windows dbr:Type_system
dbo:wikiPageExternalLink
n16: n18:parasail-programming-language n20: n23:ParaSail--Less-is-more-with-multicore n24:SofCheck-ParaSail-parallel-language n25:parasail-programming-language.blogspot.com
owl:sameAs
n13:4tE3c yago-res:ParaSail_(programming_language) wikidata:Q7133637 freebase:m.0knvs5v dbpedia-uk:ParaSail
dbp:wikiPageUsesTemplate
dbt:Programming_languages dbt:Primary_sources dbt:Infobox_programming_language dbt:Start_date_and_age dbt:For dbt:Reflist dbt:Expand_section dbt:URL dbt:Cite_news dbt:Cleanup dbt:Official_website dbt:Multiple_issues dbt:Use_dmy_dates
dbo:thumbnail
n14:Logo_for_ParaSail_Programming_Language.jpg?width=300
dbp:designer
S. Tucker Taft
dbp:developer
AdaCore
dbp:implementations
psli, pslc
dbp:influenced
dbr:Nim_(programming_language)
dbp:influencedBy
dbr:ML_(programming_language) dbr:Modula dbr:Pascal_(programming_language) dbr:Ada_(programming_language)
dbp:latestReleaseDate
2021-06-06
dbp:latestReleaseVersion
9.300000000000001
dbp:license
dbr:GNU_General_Public_License
dbp:logo
Logo_for_ParaSail_Programming_Language.jpg
dbp:logoCaption
Logo for ParaSail Programming Language
dbp:operatingSystem
dbr:MacOS dbr:Microsoft_Windows dbr:Linux
dbp:paradigm
dbr:Structured_programming dbr:Concurrent_programming dbr:Imperative_programming dbr:Compiled_language dbr:Object-oriented_programming
dbp:platform
dbr:X86
dbp:typing
dbr:Strong_and_weak_typing dbr:Type_system
dbo:abstract
Parallel Specification and Implementation Language (ParaSail) is an object-oriented parallel programming language. Its design and ongoing implementation is described in a blog and on its official website. ParaSail uses a pointer-free programming model, where objects can grow and shrink, and value semantics are used for assignment. It has no global garbage collected heap. Instead, region-based memory management is used throughout. Types can be recursive, so long as the recursive components are declared optional. There are no global variables, no parameter aliasing, and all subexpressions of an expression can be evaluated in parallel. Assertions, preconditions, postconditions, class invariants, etc., are part of the standard syntax, using a Hoare-like notation. Any possible race conditions are detected at compile time. Initial design of ParaSail began in September 2009, by S. Tucker Taft. Both an interpreter using the ParaSail virtual machine, and an LLVM-based ParaSail compiler are available. Work stealing is used for scheduling ParaSail's light-weight threads. The latest version can be downloaded from the ParaSail website. ParaSail (абревіатура від англ. Parallel Specification and Implementation Language) — мова паралельної специфікації і реалізації, це об'єктно-орієнтована мова паралельного програмування. Розробка і реалізація ParaSail описується в блозі і на офіційному сайті [Архівовано 16 листопада 2021 у Wayback Machine.] мови. ParaSail використовує модель програмування без вказівників, де об'єкти можуть збільшуватися і зменшуватися, і семантика значень використовуються для призначень. В ній немає глобальної купи збору сміття. Управління зберіганням даних на основі регіонів використовується у мові. Типи можуть бути рекурсивними, якщо рекурсивні компоненти оголошені, як необов'язкові. В ній немає глобальних змінних та параметрів накладення спектрів, і всі підвираження виражень можуть приймати значення паралельно. Твердження, передумови, постумови, інваріанти класів і т.д., є частиною стандартного синтаксису. Будь-які можливі стани гонитви виявляються під час компіляції. Початкова розробка ParaSail розпочалася у вересні 2009 року Такером Тафтом. Як і інтерпретатор , який використовує віртуальну машину ParaSail ,так і компілятор на основі LLVM є доступними в ParaSail. Техніка викрадення роботи використовується для планування потоків ParaSail. Останню версію мови можна завантажити з вебсайту ParaSail.
dbp:fileExt
.psi, .psl
gold:hypernym
dbr:Language
prov:wasDerivedFrom
wikipedia-en:ParaSail_(programming_language)?oldid=1114035238&ns=0
dbo:wikiPageLength
11583
dbo:latestReleaseDate
2021-06-06
dbo:latestReleaseVersion
9.3
dbo:influenced
dbr:Nim_(programming_language)
dbo:influencedBy
dbr:Ada_(programming_language) dbr:Modula dbr:Pascal_(programming_language) dbr:ML_(programming_language)
dbo:license
dbr:GNU_General_Public_License
foaf:isPrimaryTopicOf
wikipedia-en:ParaSail_(programming_language)
Subject Item
dbr:Foreach_loop
dbo:wikiPageWikiLink
dbr:ParaSail_(programming_language)
Subject Item
dbr:History_of_software
dbo:wikiPageWikiLink
dbr:ParaSail_(programming_language)
Subject Item
dbr:Region-based_memory_management
dbo:wikiPageWikiLink
dbr:ParaSail_(programming_language)
Subject Item
wikipedia-en:ParaSail_(programming_language)
foaf:primaryTopic
dbr:ParaSail_(programming_language)