A technique for recursion removal based on string homomorphisms

DOI10.1016/0167-6423(82)90005-3zbMATH Open0492.68016OpenAlexW1973967324MaRDI QIDQ1168071FDOQ1168071

Authors: Stephan Heilbrunner, Werner Pohlmann 

Publication date: 1982

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0167-6423(82)90005-3

zbMATH Keywords

iterative equivalents for certain recursion schemata

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: A technique for recursion removal based on string homomorphisms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1168071)