[TYPES/announce] CFP: Special Issue on Advanced Programming Techniques for Construction of Robust, General and Evolutionary Programs

Zhenjiang Hu hu at nii.ac.jp
Fri Dec 2 04:58:56 EST 2011


  Special Issue on Advanced Programming Techniques
  for Construction of Robust, General and Evolutionary Programs



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 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


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:


 - Deadline for paper submission: April 15, 2012
 - Notification of acceptance/rejection: October 15, 2012
 - Deadline for camera-ready submission: December 15, 2012
 - Publication of the special issue: March, 2013


 Zhenjiang Hu (National Institute of Informatics, Japan)
 Shin-Cheng Mu (Academia Sinica, Taiwan)
 Stephanie Weirich (University of Pennsylvania, USA)

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.

More information about the Types-announce mailing list