Multicore programming in ParaSail: parallel specification and implementation language

Authors:
S. Tucker Taft
Affiliations:
SofCheck, Inc.
Venue:
Ada-Europe'11 Proceedings of the 16th Ada-Europe international conference on Reliable software technologies
Year:
2011

Citing 1
Cited 1

Cilk: an efficient multithreaded runtime system

PPOPP '95 Proceedings of the fifth ACM SIGPLAN symposium on Principles and practice of parallel programming

Session summary: multiprocessor issues, part 1

ACM SIGAda Ada Letters

Quantified Score

Hi-index	0.00

Visualization

Abstract

The advent of multicore processors requires a new approach to programming. ParaSail is an example of such a new approach. It is a marriage of implicit parallelism and formal methods integrated into a simplified yet powerful programming language.