Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 SAIG'01 (CFP)
CALL FOR PAPERS
Semantics, Applications and Implementation of Program
Generation (SAIG'01) PLI Workshop, September
6th, 2001. (Extended Deadline: June 1st, 2001)
Program generation has the prospect of being an integral part of a wide
range of software development processes. Many recent studies investigate
different aspects of program generation systems, including their semantics,
their applications, and their implementation. Existing theories and
systems address both high-level (source) language and low-level (machine)
language generation. A number of programming languages now supports
program generation and manipulation, with different goals, implementation
techniques, and targeted at different applications. The goal of this workshop
is to provide a meeting place for researchers and practitioners interested
in this research area, and in program generation in general.
Scope: The workshop solicits submissions related to theoretical
and practical models and tools for building program generators systems,
Examples include:
Semantics, type systems, and implementations for multi-stage languages.
Run-time specialization systems: e.g. compilers, operating systems.
High-level program generation (applications, foundations, environments).
Program synthesis from high-level specifications.
Symbolic computation, linking and explicit substitution, in-lining and
macros.
Reports on applications of these techniques to real-world problems
are especially encouraged, as are submissions that relate ideas and concepts
from several of these topics, or bridge the gap between theory and practice.
The program committee is happy to advise on the appropriateness of a particular
subject.
Format: The one-day workshop will contain slots for technical
papers (30 minutes) and position papers (20 minutes. Both times include
discussion.) In addition, there will be one hour allocated for open discussions
at the end of the workshop. Proceedings will be published as an LNCS
volume.
Submission Details: Authors are invited to submit papers of
at most 5000 words (excluding figures), in postscript format (letter or
A4), using the electronic
submission form by June 1st, 2001. This extended deadline is
final.
Both position and technical papers are welcome. Please indicate at
time of submission.
Position papers are expected to describe ongoing
work, future directions, and/or survey previous results. Technical
papers are expected to contain novel results. All papers will
be reviewed by the program committee for the above mentioned criteria,
in addition to correctness and clarity. Authors will be notified
of acceptance by June 17th, 2001. Final version of the papers
must be submitted by July 15th, 2001.