Tail recursion through universal invariants

DOI10.1016/0304-3975(93)90059-3MaRDI QIDQ685396zbMATHOpenAlexFDO

Authors Barry Jay

Publication date 23 January 1994

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(93)90059-3

zbMATH Keywords

recursionloopuniversal invariantconvergent list objects

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 517048
• Fold and unfold for program semantics
• Initial Algebra Semantics Is Enough!
• Algebra and Coalgebra in Computer Science
• The category-theoretic solution of recursive program schemes

Cites work

• scientific article; zbMATH DE number 426302 (Why is no real title available?)
• scientific article; zbMATH DE number 431766 (Why is no real title available?)
• scientific article; zbMATH DE number 4179333 (Why is no real title available?)
• scientific article; zbMATH DE number 3904807 (Why is no real title available?)
• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• scientific article; zbMATH DE number 4025656 (Why is no real title available?)
• scientific article; zbMATH DE number 4103051 (Why is no real title available?)
• scientific article; zbMATH DE number 3751225 (Why is no real title available?)
• scientific article; zbMATH DE number 3763993 (Why is no real title available?)
• scientific article; zbMATH DE number 19489 (Why is no real title available?)
• scientific article; zbMATH DE number 48157 (Why is no real title available?)
• scientific article; zbMATH DE number 3522194 (Why is no real title available?)
• scientific article; zbMATH DE number 4127475 (Why is no real title available?)
• scientific article; zbMATH DE number 517048 (Why is no real title available?)
• scientific article; zbMATH DE number 1092508 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• *-Autonomous categories and linear logic
• A fixpoint theorem for complete categories
• A note on natural numbers objects in monoidal categories
• Adjointness in Foundations
• An imperative language based on distributive categories II
• Cartesian categories with natural numbers object
• Categorical fixed point semantics
• Categories of partial maps
• Coalgebras and cartesian categories
• Data types in distributive categories
• List-arithmetic distributive categories: Locoi
• Metric spaces, generalized logic, and closed categories
• Monads on symmetric monoidal closed categories
• Monoidal categories with natural numbers object
• The Category-Theoretic Solution of Recursive Domain Equations

Cited in

(3)

• Automatically Introducing Tail Recursion in CakeML
• Finite objects in a locos
• scientific article; zbMATH DE number 517048 (Why is no real title available?)

This page was built for publication: Tail recursion through universal invariants

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