Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
A Predicative Analysis of Structural Recursion
 

Summary: Slide 1
A Predicative Analysis
of Structural Recursion
Andreas Abel
November 19, 1999
 The termination checker foetus
 Soundness of structural recursion by an
impredicative semantic analysis
 A predicative semantic analysis
Slide 2
Motivation (1): Division by 2
half 0 = 0
half 1 = 0
half n+2 = (half n)+1
half' = R N (x B : 0) (x N f B!N : R B (f true) (1 + (f false)))
half = n N : half' n false
1

Slide 3
Motivation (2): Pattern matching in

  

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

 

Collections: Computer Technologies and Information Sciences