Pages that link to "Item:Q3703291"

The following pages link to MULTILISP: a language for concurrent symbolic computation (Q3703291):

Displayed 32 items.

• ASP\(_{\text{fun}}\) : a typed functional active object calculus (Q433340) ‎ (← links)
• Dependence analysis for safe futures (Q436391) ‎ (← links)
• A sound and complete reasoning system for asynchronous communication with shared futures (Q465485) ‎ (← links)
• Behavioral interface description of an object-oriented language with futures and promises (Q843206) ‎ (← links)
• A concurrent lambda calculus with futures (Q860851) ‎ (← links)
• Compositional reasoning about active objects with shared futures (Q890481) ‎ (← links)
• Backwards type analysis of asynchronous method calls (Q953530) ‎ (← links)
• Asynchronous sequential processes (Q1013090) ‎ (← links)
• As-if-serial exception handling semantics for Java futures (Q1016646) ‎ (← links)
• An assessment of Multilisp: Lessons from experience (Q1091113) ‎ (← links)
• Functional programming with combinators (Q1098628) ‎ (← links)
• Efficient algorithms for parallel sorting on mesh multicomputers (Q1193763) ‎ (← links)
• SC-net: A hybrid connectionist, symbolic system (Q1260951) ‎ (← links)
• Bounded quantifications for iteration and concurrency in logic programming (Q1326573) ‎ (← links)
• Continuation-based transformations for coordination languages (Q1575149) ‎ (← links)
• An evaluation of interaction paradigms for active objects (Q1734521) ‎ (← links)
• Distributed call-tracking for security (Q1869981) ‎ (← links)
• Trends in trends in functional programming 1999/2000 versus 2007/2008 (Q1929344) ‎ (← links)
• Dynamic structural operational semantics (Q2329443) ‎ (← links)
• On detecting over-eager concurrency in asynchronously communicating concurrent object systems (Q2360659) ‎ (← links)
• A reduction semantics for direct-style asynchronous observables (Q2423763) ‎ (← links)
• Controlling procedural modeling programs with stochastically-ordered sequential Monte Carlo (Q2802339) ‎ (← links)
• Implicitly threaded parallelism in Manticore (Q3021411) ‎ (← links)
• Toward a Formal Semantic Framework for Deterministic Parallel Programming (Q3095349) ‎ (← links)
• Distributed Objects for Parallel Numerical Applications (Q4423090) ‎ (← links)
• (Q4790891) ‎ (← links)
• Back to futures (Q5063251) ‎ (← links)
• Type-safe higher-order channels with channel locality (Q5302647) ‎ (← links)
• Transparent fault tolerance for scalable functional computation (Q5371963) ‎ (← links)
• Oracle-guided scheduling for controlling granularity in implicitly parallel languages (Q5371969) ‎ (← links)
• Parallel Logic Programming: A Sequel (Q6063892) ‎ (← links)
• (Q6190869) ‎ (← links)