[DOWNLOAD] "Polynomial Time Calculi" by Stefan Schimanski # eBook PDF Kindle ePub Free

eBook details

Title: Polynomial Time Calculi
Author : Stefan Schimanski
Release Date : January 26, 2012
Genre: Computers,Books,Computers & Internet,
Pages : * pages
Size : 5527 KB

Description

This thesis is about type systems which guarantee polynomial time complexity of typed programs. A type system is a tool to give a computer program an additional structure which makes sure that it satisfies certain properties. In this work type systems are introduced and mathematically analysed, which type only those algorithms which terminate after polynomially many execution steps in the size of the input. Polynomial time is an important complexity class for practical application because polynomial algorithms grow reasonable fast to be feasibly computable also for bigger inputs.

Read More