From crabapple.srv.cs.cmu.edu!fs7.ece.cmu.edu!europa.eng.gtefsd.com!uunet!mcsun!dkuug!uts!diku!sestoft Tue Aug 17 10:48:44 EDT 1993
Article: 7293 of comp.lang.scheme
Xref: crabapple.srv.cs.cmu.edu comp.lang.prolog:8341 comp.lang.scheme:7293 comp.lang.functional:3589
Newsgroups: comp.lang.prolog,comp.lang.scheme,comp.lang.functional
Path: crabapple.srv.cs.cmu.edu!fs7.ece.cmu.edu!europa.eng.gtefsd.com!uunet!mcsun!dkuug!uts!diku!sestoft
From: sestoft@diku.dk (Peter Sestoft)
Subject: CFP: PEPM '94 Partial evaluation and semantics-based ...
Message-ID: <1993Aug17.095303.4041@odin.diku.dk>
Sender: sestoft@rimfaxe.diku.dk
Date: Tue, 17 Aug 1993 09:53:03 GMT
Organization: Department of Computer Science, U of Copenhagen
Keywords: Workshop, partial evaluation, program manipulation
Lines: 87


		     CALL FOR PAPERS --- PEPM'94

		       ACM SIGPLAN Workshop on
     Partial Evaluation and Semantics-Based Program Manipulation

			    June 25, 1994
			   Orlando, Florida
	       (Held in conjunction with PLDI and LFP)


The theme of the workshop is partial evaluation and other techniques
for automatic analysis and transformation of programs.  Such
techniques promise to assist in developing efficient and reliable
programs.  Examples are: automatic specialization of general programs,
and transformation of obviously correct but inefficient programs into
more efficient programs.

Typical relevant topics are: program transformation, program
specialization, partial evaluation, mixed computation,
supercompilation, abstract interpretation, static analysis,
binding-time analysis, generalization, staging, memoization, compiler
generation.

Original results that bear upon these topics are solicited.  In
particular, we encourage reports of the following three kinds:

* Experience with applications (for instance, scientific
  computing, parsing and pattern matching, semantics-directed compiler
  generation, programming environments, debugging, incremental
  computation, meta-programming, and prototyping).

* Comparison of the program manipulation techniques used for
  different types of programming languages (such as functional,
  logical, imperative, object oriented, and concurrent languages).

* Comparison of these techniques with more traditional programming
  and computer science concepts.

Send your submission by electronic mail to *both* program chairs in
the form of a Postscript file or a self-contained TeX or LaTeX file.
If this is impossible, send 4 printed copies to Peter Sestoft,
Department of Computer Science, Technical University of Denmark,
Building 344, DK-2800 Lyngby, Denmark.

Submissions must be received on or before February 7, 1994, must
include return mail and email addresses, and should be at most 10
pages long.  Papers will be judged on relevance, significance,
correctness and clarity, and must include an abstract and discussion
of related work.

Accepted papers will appear in the proceedings.  These will be
distributed at the workshop and will subsequently be available as a
technical report from the University of Melbourne, Australia.

The workshop will be held in conjunction with the ACM SIGPLAN '94
Conference on Programming Language Design and Implementation (PLDI
'94) and the 1994 ACM Conference on Lisp and Functional Programming
(LFP '94).

Important dates:
Submission deadline 		February 7, 1994
Notification of authors 	April 12, 1994 
Camera-ready version 		May 23, 1994
Workshop			June 25, 1994

Program committee:
Charles Consel, Oregon Graduate Institute, OR
John Gallagher, Bristol University, UK
John Hannan, Pennsylvania State University, PA
John Hughes, Chalmers, Gothenburg, Sweden
Neil D. Jones, DIKU, Denmark
Patrick O'Keefe, Boston, MA
Sergei Romanenko, Academy of Sciences, Russia
Erik Ruf, Microsoft Research Laboratory, WA
Pascal Van Hentenryck, Brown University, RI
Wei-Ngan Chin, National University of Singapore

Program chairs:
Peter Sestoft (sestoft@id.dth.dk)     Harald Sondergaard (harald@cs.mu.oz.au)
Technical University of Denmark       University of Melbourne, Australia     

-- 
New address since January 20, 1992:
Peter Sestoft   *   sestoft@id.dth.dk   *   Department of Computer Science
Technical University of Denmark, Building 344      DK-2800 Lyngby, Denmark
Tel: +45 45 93 33 32 * Direct: +45 45 93 12 22/3749 * Fax: +45 42 88 45 30