• Sign In / Register
  • Help
  • Basket0
Subrecursive Programming Systems: Complexity & Succinctness - Progress in Theoretical Computer Science (Paperback)
  • Subrecursive Programming Systems: Complexity & Succinctness - Progress in Theoretical Computer Science (Paperback)
zoom

Subrecursive Programming Systems: Complexity & Succinctness - Progress in Theoretical Computer Science (Paperback)

(author), (author)
£86.50
Paperback 253 Pages / Published: 03/10/2012
  • We can order this

Usually despatched within 3 weeks

  • This item has been added to your basket
1.1. What This Book is About This book is a study of * subrecursive programming systems, * efficiency/program-size trade-offs between such systems, and * how these systems can serve as tools in complexity theory. Section 1.1 states our basic themes, and Sections 1.2 and 1.3 give a general outline of the book. Our first task is to explain what subrecursive programming systems are and why they are of interest. 1.1.1. Subrecursive Programming Systems A subrecursive programming system is, roughly, a programming language for which the result of running any given program on any given input can be completely determined algorithmically. Typical examples are: 1. the Meyer-Ritchie LOOP language [MR67,DW83], a restricted assem- bly language with bounded loops as the only allowed deviation from straight-line programming; 2. multi-tape 'lUring Machines each explicitly clocked to halt within a time bound given by some polynomial in the length ofthe input (see [BH79,HB79]); 3. the set of seemingly unrestricted programs for which one can prove 1 termination on all inputs (see [Kre51,Kre58,Ros84]); and 4. finite state and pushdown automata from formal language theory (see [HU79]). lOr, more precisely, the collection of programs, p, ofsome particular general-purpose programming language (e. g., Lisp or Modula-2) for which there is a proof in some par- ticular formal system (e.g., Peano Arithmetic) that p halts on all inputs.

Publisher: Springer-Verlag New York Inc.
ISBN: 9781461266808
Number of pages: 253
Weight: 409 g
Dimensions: 235 x 155 x 14 mm
Edition: Softcover reprint of the original 1st ed. 199

You may also be interested in...

Implementing Domain-Driven Design
Added to basket
Impact Mapping
Added to basket
£9.99
Paperback
Coaching Agile Teams
Added to basket
Clean Code
Added to basket
£36.99
Paperback
Kanban
Added to basket
£33.55
Paperback
Test Driven Development
Added to basket
Pro Git
Added to basket
£35.50
Paperback
Domain-Driven Design
Added to basket
£55.99
Hardback
Essential Scrum
Added to basket
£36.99
Paperback
Designing Data-Intensive Applications
Added to basket
Agile Product Management with Scrum
Added to basket
Peopleware
Added to basket
£32.99
Paperback
User Story Mapping
Added to basket
£27.99
Paperback
Continuous Delivery
Added to basket
£43.99
Hardback

Reviews

Please sign in to write a review

Your review has been submitted successfully.