Concurrent LISP based on lexical scope

Abstract

A description is given of Concurrent Lisp, which is designed on the basis of lexical scope. It is called lexically scoped concurrent LISP (LS/CL). LS/CL is based on Common LISP. Local variables are lexically scoped and the functions, except for concurrent functions, are defined to satisfy the language specifications of Common LISP. Processes of LS/CL are dynamically created and cooperate with each other. In addition to the language features, this paper shows the environment management mechanism of dynamically activated processes that have statically scoped variables. Also described is the LS/CL system implemented on a workstation.<>