Multilisp
From MaRDI portal
Software:21403
No author found.
Related Items (30)
Bounded quantifications for iteration and concurrency in logic programming ⋮ On detecting over-eager concurrency in asynchronously communicating concurrent object systems ⋮ MULTILISP: a language for concurrent symbolic computation ⋮ Functions as Session-Typed Processes ⋮ An assessment of Multilisp: Lessons from experience ⋮ Behavioral interface description of an object-oriented language with futures and promises ⋮ Functional programming with combinators ⋮ A concurrent lambda calculus with futures ⋮ Types for Proofs and Programs ⋮ Trends in trends in functional programming 1999/2000 versus 2007/2008 ⋮ Compositional reasoning about active objects with shared futures ⋮ A reduction semantics for direct-style asynchronous observables ⋮ ASP\(_{\text{fun}}\) : a typed functional active object calculus ⋮ Dependence analysis for safe futures ⋮ Transparent fault tolerance for scalable functional computation ⋮ Oracle-guided scheduling for controlling granularity in implicitly parallel languages ⋮ A sound and complete reasoning system for asynchronous communication with shared futures ⋮ An evaluation of interaction paradigms for active objects ⋮ Efficient algorithms for parallel sorting on mesh multicomputers ⋮ Backwards type analysis of asynchronous method calls ⋮ On Sessions and Infinite Data ⋮ Towards a \(\mathbb{K}\)ool future ⋮ Distributed Objects for Parallel Numerical Applications ⋮ Controlling procedural modeling programs with stochastically-ordered sequential Monte Carlo ⋮ SC-net: A hybrid connectionist, symbolic system ⋮ Asynchronous sequential processes ⋮ As-if-serial exception handling semantics for Java futures ⋮ Toward a Formal Semantic Framework for Deterministic Parallel Programming ⋮ Continuation-based transformations for coordination languages ⋮ Dynamic structural operational semantics
This page was built for software: Multilisp
