ParaSail (programming language)
http://dbpedia.org/resource/ParaSail_(programming_language) an entity of type: Thing
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.
rdf:langString
ParaSail (абревіатура від англ. Parallel Specification and Implementation Language) — мова паралельної специфікації і реалізації, це об'єктно-орієнтована мова паралельного програмування. Розробка і реалізація ParaSail описується в блозі і на офіційному сайті [Архівовано 16 листопада 2021 у Wayback Machine.] мови. Початкова розробка ParaSail розпочалася у вересні 2009 року Такером Тафтом.
rdf:langString
rdf:langString
ParaSail (programming language)
rdf:langString
ParaSail
rdf:langString
ParaSail
rdf:langString
ParaSail
xsd:integer
36619168
xsd:integer
1114035238
rdf:langString
S. Tucker Taft
rdf:langString
AdaCore
rdf:langString
psli, pslc
xsd:date
2021-06-06
xsd:double
9.300000000000001
rdf:langString
Logo_for_ParaSail_Programming_Language.jpg
rdf:langString
Logo for ParaSail Programming Language
rdf:langString
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.
rdf:langString
ParaSail (абревіатура від англ. Parallel Specification and Implementation Language) — мова паралельної специфікації і реалізації, це об'єктно-орієнтована мова паралельного програмування. Розробка і реалізація ParaSail описується в блозі і на офіційному сайті [Архівовано 16 листопада 2021 у Wayback Machine.] мови. ParaSail використовує модель програмування без вказівників, де об'єкти можуть збільшуватися і зменшуватися, і семантика значень використовуються для призначень. В ній немає глобальної купи збору сміття. Управління зберіганням даних на основі регіонів використовується у мові. Типи можуть бути рекурсивними, якщо рекурсивні компоненти оголошені, як необов'язкові. В ній немає глобальних змінних та параметрів накладення спектрів, і всі підвираження виражень можуть приймати значення паралельно. Твердження, передумови, постумови, інваріанти класів і т.д., є частиною стандартного синтаксису. Будь-які можливі стани гонитви виявляються під час компіляції. Початкова розробка ParaSail розпочалася у вересні 2009 року Такером Тафтом. Як і інтерпретатор , який використовує віртуальну машину ParaSail ,так і компілятор на основі LLVM є доступними в ParaSail. Техніка викрадення роботи використовується для планування потоків ParaSail. Останню версію мови можна завантажити з вебсайту ParaSail.
rdf:langString
.psi, .psl
xsd:nonNegativeInteger
11583
xsd:date
2021-06-06
xsd:string
9.3