Title | ||
---|---|---|
Multicore programming in ParaSail: parallel specification and implementation language |
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. |
Year | Venue | Keywords |
---|---|---|
2011 | Ada-Europe | parallel specification,formal method,implicit parallelism,multicore processor,implementation language,multicore programming,new approach,powerful programming language,formal methods,parallel programming |
Field | DocType | Volume |
Functional logic programming,Programming language,Implicit parallelism,Programming language specification,Programming paradigm,Computer science,Parallel computing,Very high-level programming language,First-generation programming language,Programming domain,ParaSail | Conference | 6652 |
ISSN | Citations | PageRank |
0302-9743 | 1 | 0.36 |
References | Authors | |
1 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
S. Tucker Taft | 1 | 50 | 14.12 |