Formalizing non-termination of recursive programs

DOI10.1016/S1567-8326(01)00006-6zbMATH Open1015.68026MaRDI QIDQ1349246FDOQ1349246

Thomas Studer, Reinhard Kahle

Publication date: 21 May 2002

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

zbMATH Keywords

recursion theoremapplicative theoriesleast fixed point operator

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cites Work

• Constructivism in mathematics. An introduction. Volume I
• Elementary induction on abstract structures
• Proof theory. An introduction
• Combinatory logic. Vol. II
• A type-theoretical alternative to ISWIM, CUCH, OWHY
• Systems of explicit mathematics with non-constructive \(\mu\)-operator. I
• N-strictness in applicative theories
• A semantics for \(\lambda_{str}^{\{\,\}}\): A calculus with overloading and late-binding
• Why the constant ‘undefined’? Logics of partial terms for strict and non-strict functional programming languages
• Weak Theories of Operations and Types
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (4)

• Termination Proofs for Recursive Functions in FoCaLiZe
• THE UNIVERSAL SET AND DIAGONALIZATION IN FREGE STRUCTURES
• 2002 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '02
• Axioms for strict and lazy functional programs

This page was built for publication: Formalizing non-termination of recursive programs

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