Specification transformation method for functional program generation based on partition-recursion refinement rule (Q6127496): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Latest revision as of 07:27, 10 July 2024
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