Details

Autor(en) / Beteiligte

• Taft, S

Titel

Experimenting with parasail: parallel specification and implementation language

Ist Teil von

• Proceedings of the 2011 ACM annual international conference on special interest group on the ada programming language, 2011, p.11-12

Ort / Verlag

ACM

Erscheinungsjahr

2011

Link zum Volltext

Quelle

ACM Digital Library

Beschreibungen/Notizen

• This tutorial provides an opportunity to experiment with a new language designed to support the safe, secure, and productive development of parallel programs. ParaSail is a new language with pervasive parallelism coupled with extensive compile-time checking of annotations in the form of assertions, preconditions, postconditions, etc. ParaSail does all checking at compile time, and eliminates race conditions, null dereferences, uninitialized data access, numeric overflow, out of bounds indexing, etc. as well as statically checking the truth of all user-written assertions. After a short introduction to the language, attendees will receive a prototype ParaSail compiler and an accompanying ParaSail Virtual Machine interpreter for writing and testing ParaSail programs. The tutorial/workshop will finish with a group discussion and feedback on the experience of using this new language.