Workshop on Global Compilation, Vancouver BC, Oct 93

                                      Call for Participation


                              Workshop on Global Compilation
                                    in conjunction with the
                    International Logic Programming Symposium
                    October 26-30, 1993, Vancouver, BC, Canada




Concern about the performance of logic programming systems has lead many
researchers to study global program analysis techniques such as abstract
interpretation. Some encouraging work has demonstrated the usefulness of
applying global analysis to compilation. Owing in part to the technical
nature of many of the analysis techniques, there has been a tendency for
researchers to focus either on analysis techniques or on code generation
and execution strategies. The objective of this workshop is to provide an
opportunity for greater interaction between researchers with these
different focuses. An additional objective is to allow
cross-fertilization from work on other programming paradigms, such as
functional programming.


Topics may include but are not limited to analysis techniques and
frameworks, efficiency of analysis, multiple specialization, avoiding code
explosion, variable and structure sharing, single-threaded analysis, free
variable analysis, and interaction with language features and execution
strategies.


Abstracts should be sent to the address below:


                          Will Winsborough
                          Department of Computer Science
                          Pennsylvania State University
                          333 Whitmore Laboratory
                          University Park, PA 16802, USA


                          +1 (814) 863 3600 voice
                          +1 (814) 865 3176 fax
                          winsboro@cs.psu.edu


                          [ Will Winsborough will be unavailable by telephone
                              during July. Send e-mail or contact Spiro Michaylov
                              on +1 (614) 292 6377 ]


Abstracts should be no more than 8-10 pages in length, and there is no
restriction on the format to be used. However, Latex/Tex/dvi/ps format is
preferred, particularly styles similar to those used for submissions
and/or camera-ready copy for the main conference. Submission by email
rather than printed copies is strongly encouraged.


Copies of all accepted abstracts will be distributed to participants at
the workshop. In order to provide continued access to the abstracts
presented at the workshop, the proceedings will be available as a
Pennsylvania State University technical report.


Submission Deadline: August 1, 1993
Notification Sent: August 31, 1993
Final Manuscript Due: September 30, 1993


Organizing Committee: Spiro Michaylov, William Winsborough
--

Return to the comp.compilers page.
Search the comp.compilers archives again.