MULTILISP: a language for concurrent symbolic computation
From MaRDI portal
Publication:3703291
DOI10.1145/4472.4478zbMath0581.68037OpenAlexW1983587324MaRDI QIDQ3703291
Publication date: 1985
Published in: ACM Transactions on Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: http://www.acm.org/pubs/contents/journals/toplas/1985-7/
Symbolic computation and algebraic computation (68W30) General topics in the theory of software (68N01) Theory of operating systems (68N25)
Related Items
Bounded quantifications for iteration and concurrency in logic programming, On detecting over-eager concurrency in asynchronously communicating concurrent object systems, An assessment of Multilisp: Lessons from experience, Behavioral interface description of an object-oriented language with futures and promises, Functional programming with combinators, Type-safe higher-order channels with channel locality, Back to futures, A concurrent lambda calculus with futures, Trends in trends in functional programming 1999/2000 versus 2007/2008, Compositional reasoning about active objects with shared futures, Parallel Logic Programming: A Sequel, 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, Unnamed Item, A sound and complete reasoning system for asynchronous communication with shared futures, An evaluation of interaction paradigms for active objects, Unnamed Item, Efficient algorithms for parallel sorting on mesh multicomputers, Backwards type analysis of asynchronous method calls, Implicitly threaded parallelism in Manticore, 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, Distributed call-tracking for security
Uses Software
