Technologique

@technologique Нравится 5 1 000 + ВП

Deeply involved developers about various aspects, tendencies & conceptions of programming technologies, FLOSS, Linux, security, cloud infrastructures & DevOps practices, distributed systems, data warehousing & analysis, DL/ML, etc.
Author: @andrcmdr
Гео и язык канала
не указан, Английский
Категория
Технологии


Написать автору
Гео канала
не указан
Язык канала
Английский
Категория
Технологии
Добавлен в индекс
16.07.2017 14:26
9 Oct, 14:19 (40 дней назад)
ParaSail - Parallel Specification and Implementation Language

Microsoft Research lecture about ParaSail programming language by Tucker Taft, led language designer of Ada 95 standard, one of the GNAT compiler authors, member, language and compilers researcher in the AdaCore.

ParaSail is a parallel programming language (which uses work-stealing tasks to threads scheduler) with region-based memory management (static destructors, based on compile-time inferencing of scopes & lifetimes as region types), with Ada-like syntax (compiler toolchian also includes parsers for Java and Python like syntaxes for ParaSail), and as Ada and SPARK, it's predecessors, targeting on mission-critical systems and applications, for example air traffic control systems, rail-road and metro subway control systems, avionics, automotive systems, space exploration industry, defence systems and so on.

https://www.youtube.com/watch?v=bNWTRdAlwUs

https://parasail-lang.org

https://adacore.github.io/ParaSail/images/parasail_ref_manual.pdf

https://blog.adacore.com/author/taft

https://github.com/AdaCore


#PL
#Lang