State diagrams of functional programs
Logic in Computer Science
2020-01-14 v1
Abstract
In the paper we introduce graphical objects (called state diagrams) related to functional programs. It is shown that state diagrams of functional programs can be used to solve problems of verification of functional programs. The proposed approach is illustrated by an example of verification of a sorting program.
Keywords
Cite
@article{arxiv.2001.04405,
title = {State diagrams of functional programs},
author = {Andrew M. Mironov},
journal= {arXiv preprint arXiv:2001.04405},
year = {2020}
}
Comments
arXiv admin note: text overlap with arXiv:1604.04240