Loading...
Please wait, while we are loading the content...
Similar Documents
Silmaril, A Functional Language for Distributed Parallel Evaluation
| Content Provider | Semantic Scholar |
|---|---|
| Author | Rogers, David M. |
| Copyright Year | 2014 |
| Abstract | Extending the calculus with first-order directories and loadable base and primitive types leads to a modern high-level language for implicit parallel distributed computing. Every program corresponds to a syntax term, and can be transparently stored/read/referenced from a distributed hash-table as a parsed syntax tree. The builtin namespace and revision control systems facilitate collaborative coding, language extensibility, JIT-compilation, and distributed parallel evaluation via work-stealing. Formal program syntax, evaluation semantics and typing rules are presented, along with examples of the networked revision-control system and introspective capabilities. Further work on the formal properties of the language will greatly improve this preliminary implementation. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://predictivestatmech.org/sil/papers/sil.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |