Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
foetus -Termination Checker for Simple Functional Andreas Abel
 

Summary: foetus - Termination Checker for Simple Functional
Programs
Andreas Abel
June 15, 1998
foetus is an abbreviation of
\Funktionale { Obgleich Eingeschrankt { Termination Untersuchende Sprache"
1

Example 1: List attening.
f([]) = []
f(x::xs) = g(x,xs)
g([], ys) = f(ys)
g(x::xs,ys) = x::g(xs,ys)
Example 2.
f(0, y) = 0
f(x, 0) = 0
f(x+1,y+1) = g(x,y+1) + f(x+3,y)
g(0, y) = 0
g(x, 0) = 0
g(x+1,y+1) = f(x+1,y+1) + g(x,y+2)

  

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

 

Collections: Computer Technologies and Information Sciences