Multilisp: A language for concurrent symbolic computation. Multilisp is a version of the Lisp dialect Scheme extended with constructs for parallel execution. Like Scheme, Multilisp is oriented toward symbolic computation. Unlike some parallel programming languages, Multilisp incorporates constructs for causing side effects and for explicitly introducing parallelism. The potential complexity of dealing with side effects in a parallel context is mitigated by the nature of the parallelism constructs and by support for abstract data types: a recommended Multilisp programming style is presented which, if followed, should lead to highly parallel, easily understandable programs.

This software is also peer reviewed by journal TOMS.

References in zbMATH (referenced in 33 articles )

Showing results 1 to 20 of 33.
Sorted by year (citations)

1 2 next

  1. Haller, Philipp; Miller, Heather: A reduction semantics for direct-style asynchronous observables (2019)
  2. Johansen, Christian; Owe, Olaf: Dynamic structural operational semantics (2019)
  3. Karami, Farzane; Owe, Olaf; Ramezanifarkhani, Toktam: An evaluation of interaction paradigms for active objects (2019)
  4. Owe, Olaf; McDowell, Charlie: On detecting over-eager concurrency in asynchronously communicating concurrent object systems (2017)
  5. Severi, Paula; Padovani, Luca; Tuosto, Emilio; Dezani-Ciancaglini, Mariangiola: On sessions and infinite data (2017)
  6. Acar, Umut A.; Charguéraud, Arthur; Rainey, Mike: Oracle-guided scheduling for controlling granularity in implicitly parallel languages (2016)
  7. Stewart, Robert; Maier, Patrick; Trinder, Phil: Transparent fault tolerance for scalable functional computation (2016)
  8. Din, Crystal Chang; Owe, Olaf: Compositional reasoning about active objects with shared futures (2015)
  9. Ritchie, Daniel; Mildenhall, Ben; Goodman, Noah D.; Hanrahan, Pat: Controlling procedural modeling programs with stochastically-ordered sequential Monte Carlo (2015)
  10. Din, Crystal Chang; Owe, Olaf: A sound and complete reasoning system for asynchronous communication with shared futures (2014)
  11. Henrio, Ludovic; Kammüller, Florian; Lutz, Bianca: ASP(_\textfun) : a typed functional active object calculus (2012)
  12. Navabi, Armand; Zhang, Xiangyu; Jagannathan, Suresh: Dependence analysis for safe futures (2012)
  13. Toninho, Bernardo; Caires, Luis; Pfenning, Frank: Functions as session-typed processes (2012)
  14. Lu, Li; Scott, Michael L.: Toward a formal semantic framework for deterministic parallel programming (2011)
  15. Achten, Peter; van Eekelen, Marko; Koopman, Pieter; Morazán, Marco T.: Trends in trends in functional programming 1999/2000 versus 2007/2008 (2010)
  16. Ábrahám, Erika; Grabe, Immo; Grüner, Andreas; Steffen, Martin: Behavioral interface description of an object-oriented language with futures and promises (2009)
  17. Caromel, Denis; Henrio, Ludovic; Serpette, Bernard Paul: Asynchronous sequential processes (2009)
  18. Chen, Liang; Bairagi, Deepankar; Lin, Yuan: MCFX: a new parallel programming framework for multicore systems (2009) ioport
  19. Zhang, Lingli; Krintz, Chandra: As-if-serial exception handling semantics for Java futures (2009)
  20. Johnsen, Einar Broch; Yu, Ingrid Chieh: Backwards type analysis of asynchronous method calls (2008)

1 2 next