MULTILISP: a language for concurrent symbolic computation
From MaRDI portal
Recommendations
Cited in
(41)- Asynchronous sequential processes
- As-if-serial exception handling semantics for Java futures
- Functional programming with side-effects
- An assessment of Multilisp: Lessons from experience
- Functional programming with combinators
- Efficient algorithms for parallel sorting on mesh multicomputers
- SC-net: A hybrid connectionist, symbolic system
- Bounded quantifications for iteration and concurrency in logic programming
- Continuation-based transformations for coordination languages
- An evaluation of interaction paradigms for active objects
- Distributed call-tracking for security
- Trends in trends in functional programming 1999/2000 versus 2007/2008
- Dynamic structural operational semantics
- On detecting over-eager concurrency in asynchronously communicating concurrent object systems
- A reduction semantics for direct-style asynchronous observables
- scientific article; zbMATH DE number 1693456 (Why is no real title available?)
- Controlling procedural modeling programs with stochastically-ordered sequential Monte Carlo
- Implicitly threaded parallelism in Manticore
- Toward a formal semantic framework for deterministic parallel programming
- scientific article; zbMATH DE number 4082958 (Why is no real title available?)
- scientific article; zbMATH DE number 1218789 (Why is no real title available?)
- ASP\(_{\text{fun}}\) : a typed functional active object calculus
- Dependence analysis for safe futures
- Distributed Objects for Parallel Numerical Applications
- A sound and complete reasoning system for asynchronous communication with shared futures
- scientific article; zbMATH DE number 1863552 (Why is no real title available?)
- Back to futures
- Type-safe higher-order channels with channel locality
- Transparent fault tolerance for scalable functional computation
- Oracle-guided scheduling for controlling granularity in implicitly parallel languages
- Parallel Logic Programming: A Sequel
- Asynchronous functional sessions: cyclic and concurrent
- Asynchronous Cooperative Contracts for Cooperative Scheduling
- Dependent type refinements for futures
- Data layout from a type-theoretic perspective
- Modular analysis of distributed hybrid systems using post-regions
- Semi-axiomatic sequent calculus
- Behavioral interface description of an object-oriented language with futures and promises
- A concurrent lambda calculus with futures
- Compositional reasoning about active objects with shared futures
- Backwards type analysis of asynchronous method calls
This page was built for publication: MULTILISP: a language for concurrent symbolic computation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3703291)
