On the declarative semantics of deductive databases and logic programs
Foundations of deductive databases and logic programming
Bottom-up beats top-down for datalog
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Proceedings of the ACM 2000 conference on Java Grande
Parallel programming must be deterministic by default
HotPar'09 Proceedings of the First USENIX conference on Hot topics in parallelism
Using simple abstraction to reinvent computing for parallelism
Communications of the ACM
A domain-specific approach to heterogeneous parallelism
Proceedings of the 16th ACM symposium on Principles and practice of parallel programming
Experimenting with parasail: parallel specification and implementation language
SIGAda '11 Proceedings of the 2011 ACM annual international conference on Special interest group on the ada programming language
Dedalus: datalog in time and space
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Hi-index | 0.00 |
This paper introduces the JStar parallel programming language, which is a Java-based declarative language aimed at discouraging sequential programming, encouraging massively parallel programming, and giving the compiler and runtime maximum freedom to try alternative parallelisation strategies. We describe the execution semantics and runtime support of the language, several optimisations and parallelism strategies, with some benchmark results.