Dear all,
We're delighted to announce a Special Issue on Program Calculation
for the Journal of Functional Programming.
Please share, and submit your best papers!
Best wishes,
Graham Hutton and Nicolas Wu
Guest Editors
==================================================================
JFP Special Issue on Program Calculation
We invite submissions to the Journal of Functional Programming
Special Issue on Program Calculation: tinyurl.com/prog-calc
Notification of intent : 20 October 2023
Submission deadline : 1 December 2023
SCOPE
The idea of program calculation, in which programs are derived
from specifications using equational reasoning techniques, has
been a topic of interest in functional programming since its
earliest days. In particular, the approach allows us to
systematically discover how programs can be defined, while at
the same time obtaining proofs that they are correct.
The aim of this special issue is to document advances that have
been made in the field of program calculation in recent years.
TOPICS
Full-length, archival-quality submissions are solicited on all
aspects of program calculation and related topics. Specific
topics of interest include but are not limited to:
- Program derivation and transformation;
- Inductive and co-inductive methods;
- Recursion and co-recursion schemes;
- Categorical and graphical methods;
- Tool support and proof assistants;
- Efficiency and resource usage;
- Functional algorithm design;
- Calculation case studies.
The special issue will also consider papers on program calculation
that are not traditional research papers. This may include pearls,
surveys, tutorials or educational papers, which will be judged by
the usual JFP standards for such submissions.
Papers will be reviewed as regular JFP submissions, and acceptance
in the special issue will be based on both JFP's quality standards
and relevance to the theme.
NOTIFICATION OF INTENT
Authors must notify the special issue editors of their intent to
submit by 20 October 2023. The notification of intent should be
submitted by filling out the following form, which asks for data to
help identify suitable reviewers: tinyurl.com/intent-to-submit
If you miss the notification of intent deadline, but still wish
to submit, please contact the special-issue editors.
SUBMISSIONS
Papers must be submitted by 1 December 2023. Submissions should be
typeset in LaTeX using the JFP style file, and submitted through the
JFP Manuscript Central system. Choose "Program Calculation" as the
paper type, so it gets assigned to the special issue. Further author
instructions are available from: tinyurl.com/JFP-instructions
We welcome extended versions of conference or workshop papers. Such
submissions must clearly describe the relationship with the initial
publication, and must differ sufficiently that the author can assign
copyright to Cambridge University Press. Prospective authors are
welcome to discuss submissions with the editors to ensure compliance.
SPECIAL-ISSUE EDITORS
Graham Hutton