Composition of Loop Modules in the Structural Blanks Approach to Programming with Recurrences: A Task of Synthesis of Nested Loops
2019 ◽
Vol 129
◽
pp. 14-35
◽
1994 ◽
Vol 04
(03)
◽
pp. 271-280
◽
1997 ◽
Vol 07
(04)
◽
pp. 379-392
◽
Keyword(s):
Keyword(s):