A technique for recursion removal based on string homomorphisms

DOI10.1016/0167-6423(82)90005-3MaRDI QIDQ1168071zbMATH OpenOpenAlexFDO

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)