Specification transformation method for functional program generation based on partition-recursion refinement rule (Q6127496)
From MaRDI portal
scientific article; zbMATH DE number 7831789
Language | Label | Description | Also known as |
---|---|---|---|
English | Specification transformation method for functional program generation based on partition-recursion refinement rule |
scientific article; zbMATH DE number 7831789 |
Statements
Specification transformation method for functional program generation based on partition-recursion refinement rule (English)
0 references
12 April 2024
0 references
functional program
0 references
specification transformation
0 references
partition-recursion rule
0 references
program refinement
0 references
formal methods
0 references