Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Type-Based Termination of Functional Programs Andreas Abel
 

Summary: Type-Based Termination of Functional Programs
Andreas Abel
Department of Computer Science
Ludwig-Maximilians-University Munich
Kolloquium Programmiersprachen und
Grundlagen der Programmierung
KPS'07
11 October 2007
Timmendorfer Strand, Germany
Andreas Abel (LMU Munich) Type-Based Termination KPS'07 1 / 21
Introduction
Termination
Question: Will the run of a program eventually halt?
Undecidable for Turing-complete programming languages
(Halteproblem).
No termination checker can give a denitive answer for all
programs.
Problem still interesting for:
optimization and program specialization
total correctness of programs

  

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

 

Collections: Computer Technologies and Information Sciences