State diagrams of functional programs

01/10/2020
by   Andrew M. Mironov, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
06/19/2022

Encoding High-level Quantum Programs as SZX-diagrams

The Scalable ZX-calculus is a compact graphical language used to reason ...
research
05/22/2019

A Quick Introduction to Functional Verification of Array-Intensive Programs

Array-intensive programs are often amenable to parallelization across ma...
research
06/05/2020

Genome as a functional program

We discuss a model of genome as a program with functional architecture a...
research
07/26/2022

Teaching Interaction using State Diagrams

To make computational thinking appealing to young learners, initial prog...
research
03/14/2019

The "Physics of Diagrams": Revealing the scientific basis of graphical representation design

Data is omnipresent in the modern, digital world and a significant numbe...
research
01/27/2021

Deriving monadic quicksort (Declarative Pearl)

To demonstrate derivation of monadic programs, we present a specificatio...

Please sign up or login with your details

Forgot password? Click here to reset