“Curiouser and curiouser” said alice. further reflections on an interesting recursive function

DOI10.1080/00207168808803682zbMath0686.68012OpenAlexW1979627548WikidataQ126244299 ScholiaQ126244299MaRDI QIDQ4205069

Maurice Clint, D. Gault

Publication date: 1988

Published in: International Journal of Computer Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00207168808803682

zbMATH Keywords

Fibonacci sequencerecursive functionprogram verification

Mathematics Subject Classification ID

Recurrences (11B37) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Unnamed Item

Cites Work

• A curious recursive function
• A Transformation System for Developing Recursive Programs
• Unnamed Item
• Unnamed Item

This page was built for publication: “Curiouser and curiouser” said alice. further reflections on an interesting recursive function