Title | ||
---|---|---|
Panel summary: finding safety in numbers: new languages for safe multicore programming and modeling |
Abstract | ||
---|---|---|
This panel brings together designers of both traditional programming languages, and designers of behavioral specification languages for modeling systems, in each case with a concern for the challenges of multicore programming. Furthermore, several of these efforts have attempted to provide data-race-free programming models, so that multicore programmers need not be faced with the added burden of trying to debug race conditions on top of the existing challenges of building reliable systems.
|
Year | DOI | Venue |
---|---|---|
2014 | 10.1145/2663171.2663190 | HILT |
Keywords | Field | DocType |
aadl bless,parasail,rust,safe parallel programming,spot,uml alf | Multicore programming,Fifth-generation programming language,Programming language,Programming paradigm,Computer science,Real-time computing,Safety in numbers,Declarative programming,Multi-core processor,Debugging,ParaSail | Conference |
Volume | Issue | ISSN |
34 | 3 | 1094-3641 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Robert Bocchino | 1 | 0 | 0.34 |
Nicholas Matsakis | 2 | 0 | 0.34 |
S. Tucker Taft | 3 | 50 | 14.12 |
Brian Larson | 4 | 0 | 0.34 |
Ed Seidewitz | 5 | 35 | 8.08 |