From: Ian A. Mason
Subject: 2nd CFP Special LaSC issue on State
Date:
Message-ID: <CFo3nv.560.3@cs.cmu.edu>
Call for papers
Lisp and Symbolic Computation Special Issue on
"State in Programming Languages"
Papers are solicited for a special issue of the Journal of Lisp and
Symbolic Computation (LASC) on state in programming languages.
Programming languages have been state-based since their inception.
After a period of relative unpopularity, when research focused on
declarative languages, interest in the treatment of state has been
renewed. This is not a backlash against declarative programming.
Rather, it is an attempt to find a symbiotic relationship between the
semantic foundations of declarative languages and the pragmatic
handling of state in more conventional languages. This special issue
is a followup to SIPL '93, the first ACM SIGPLAN Workshop on State in
Programming Languages held in late spring in Copenhagen, Denmark. It
will be edited by Ian A. Mason (Stanford University) and Martin
Odersky (Yale University). The range of topics includes operational
and denotational models of state, assignment and references, semantics
of object-oriented programming, linear type systems, effect systems,
monads, calculi of state and methods to reason about state.
Submissions are due Dec 21 1993. Authors should submit a full paper
plus a 1-2 page extended abstract summarizing the main contributions.
Submissions are expected to be of journal quality, and will undergo
the normal review process of LASC. Authors will be notified of
acceptance or rejection by March 15th. Final versions of the paper
will be due July 15th.
Submissions should be made in the form of dvi/ps files and sent to:
ยทยทยท@sail.stanford.edu (Ian A. Mason, Stanford University)