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 Functions that Are Passed to Their Arguments
 

Summary: Slide 1
Termination of Functions that Are Passed to
Their Arguments
Andreas Abel
Dept. of Comp. Sci., Chalmers
September 13, 2005
APPSEM II Workshop
Frauenchiemsee, Bavaria
Work supported by: GKLI (DFG), TYPES, APPSEM­II and CoVer (SSF)
Slide 2
Quiz: Is eqList terminating on all total inputs?
data MList m a where
Nil :: MList m a
Cons :: a ­> m (MList m a) ­> MList m a
eqList eqM eq Nil Nil = True
eqList eqM eq (Cons a mas) (Cons b mbs)
= eq a b
&& eqM (eqList eqM eq) mas mbs
eqList eqM eq _ _ = False
1

  

Source: Abel, Andreas - Theoretische Informatik, Ludwig-Maximilians-Universität München

 

Collections: Computer Technologies and Information Sciences