Abstract (EN):
We describe a reference implementation of a multi-threaded run-time system for a core programming language based on a process calculus. The core language features processes running in parallel and communicating through asynchronous messages as the fundamental abstractions. The programming style is fully declarative, focusing on the interaction patterns between processes. The parallelism, implicit in the syntax of the programs, is effectively extracted by the language compiler and explored by the run-time system.
Language:
English
Type (Professor's evaluation):
Scientific
Contact:
herve@di.fct.unl.pt; pmarques@med.up.pt; lblopes@ncc.up.pt; vv@di.fc.ul.pt; fds@ncc.up.pt
No. of pages:
8