Loading...
Please wait, while we are loading the content...
Similar Documents
Formally specifying and analyzing a parallel virtual machine for lazy functional languages using Maude
| Content Provider | ACM Digital Library |
|---|---|
| Author | Papaspyrou, Nikolaos Ölveczky, Peter Csaba Fourtounis, Georgios |
| Abstract | Pure lazy functional languages are a promising programming paradigm for harvesting massive parallelism, as their abstraction features and lack of side effects support the development of modular programs without unneeded serialization. We give a new formal message passing semantics for implicitly parallel execution of a lazy functional programming language, based on the intensional transformation that converts programs in functional style to a form that can be executed in a dataflow paradigm. We use rewriting logic to define the semantics of our parallel virtual machine and we use the Maude tool to formally analyze our model. We also briefly discuss a prototype parallel implementation of our model in Erlang. |
| Starting Page | 19 |
| Ending Page | 26 |
| Page Count | 8 |
| File Format | |
| ISBN | 9781450308625 |
| DOI | 10.1145/2034751.2034758 |
| Language | English |
| Publisher | Association for Computing Machinery (ACM) |
| Publisher Date | 2011-09-18 |
| Publisher Place | New York |
| Access Restriction | Subscribed |
| Subject Keyword | Rewriting logic Intensional transformation Maude Parallelism Formal analysis Lazy functional programming languages Dataflow |
| Content Type | Text |
| Resource Type | Article |
