Swapping Arguments and Results of Recursive Functions

DOI10.1007/11783596_22zbMath1235.68059OpenAlexW1805651015MaRDI QIDQ3618833

Akimasa Morihata, Kazuhiko Kakehi, Masato Takeichi, Zhenjiang Hu

Publication date: 2 April 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11783596_22

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Getting There and Back Again ⋮ Deaccumulation techniques for improving provability

This page was built for publication: Swapping Arguments and Results of Recursive Functions