Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Termination of Mutually Recursive Functions Andreas Abel
 

Summary: Slide 1
Termination of Mutually Recursive Functions
Andreas Abel
POP Seminar, CMU Computer Science
May 26, 2000
1. Introduction
2. The foetus Project
3. Mutually Recursive Functions with One Argument
4. Mutually Recursive Functions with Several Arguments
Slide 2
Recursion over Inductive Types
∑ Functional programming languages and logical frameworks base upon
-calculus enriched with inductive types.
Examples: ML, LEGO
∑ Definition of functions/constants by recursion over inductive type possible.
∑ Standard means: recursor/elimination. Ensures totality.
Example:
half' = RN
(xB
. 0) (xN

  

Source: Abel, Andreas - Theoretische Informatik, Ludwig-Maximilians-Universit√§t M√ľnchen

 

Collections: Computer Technologies and Information Sciences