CALL FOR PAPERS
Special Issue on Advanced Programming Techniques
for Construction of Robust, General and Evolutionary Programs
AIMS AND SCOPE
Programming is more than just writing programs. Programmers must be
concerned with many issues of programs such as robustness,
reliability, adaptability, and maintainability, while meeting
specifications. Many advanced new programming techniques, such as
dependently typed programming, generic programming and bidirectional
programming, have been developed to deal with these issues. This
special issue of Progress in
Informatics aims at publishing high quality papers on these
advanced programming techniques that can lead to practical and
effective processes for constructing robust, general and evolutionary
programs. Topics of interest for this special issue include, but are
not limited to:
Programming with dependent types
Staged programming
Generic programming
Polytypic programming
Bidirectional programming
SUBMISSION
Submissions for this special issue can be regular research papers or
survey/tutorial papers. They should not have been published or
submitted elsewhere. Manuscripts should be prepared according to the
guidelines indicated
in the
information "For Authors" .
The submission and review process will be carried out using the
easychair system:
https://www.easychair.org/conferences/?conf=pi2013
IMPORTANT DATES
Deadline for paper submission: April 15, 2012 => May 10, 2012
Notification of acceptance/rejection: October 15, 2012
Deadline for camera-ready submission: December 15, 2012
Publication of the special issue: March, 2013
GUEST EDITORS
ABOUT JOURNAL "Progress in Informatics"
Progress in Informatics is an international peer-reviewed journal
published by the National Institute of Informatics (NII), Japan,
aiming at the promotion of research and development in the broad area
of informatics.
The published articles consist not only of original research papers
but also of surveys and project reports which contribute
internationally to the progress of research and development.
Last Updated on November 30, 2011.