Visit our Christmas Gift Finder
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 dispatched 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...

Test Driven Development
Added to basket
Git Pocket Guide
Added to basket
Agile Product Management with Scrum
Added to basket
User Story Mapping
Added to basket
£27.99
Paperback
The Clean Coder
Added to basket
£33.49
Paperback
Peopleware
Added to basket
£33.49
Paperback
Implementing Domain-Driven Design
Added to basket
Essential Scrum
Added to basket
£36.99
Paperback
Designing Data-Intensive Applications
Added to basket
Impact Mapping
Added to basket
£9.99
Paperback
The Mythical Man-Month
Added to basket
The Art of Unit Testing
Added to basket
The Nature of Software Development
Added to basket
Agile Software Development
Added to basket
Coaching Agile Teams
Added to basket

Please sign in to write a review

Your review has been submitted successfully.