Enter your search into one or more of the boxes below:
You can refine your search by selecting from any of the options below:
Subrecursive Programming Systems: Complexity & Succinctness

Subrecursive Programming Systems: Complexity & Succinctness (Paperback)

Printed to order. Despatched in 2-3 weeks.
Email me when back in stock


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.

Computing & ITComputer programming / software developmentSoftware Engineering Publisher: Springer-Verlag New York Inc. Publication Date: 03/10/2012 ISBN-13: 9781461266808  Details: Type: Paperback Format: Books
Availability: Printed to order. Despatched in 2-3 weeks.  

More books by James S. Royer

More books by John Case

Leave Review


Delivery Options

All delivery times quoted are the average, and cannot be guaranteed. These should be added to the availability message time, to determine when the goods will arrive. During checkout we will give you a cumulative estimated date for delivery.

Location 1st Book Each additional book Average Delivery Time
UK Standard Delivery FREE FREE 3-5 Days
UK First Class £4.50 £1.00 1-2 Days
UK Courier £7.00 £1.00 1-2 Days
Western Europe** Courier £17.00 £3.00 2-3 Days
Western Europe** Airmail £5.00 £1.50 4-14 Days
USA / Canada Courier £20.00 £3.00 2-4 Days
USA / Canada Airmail £7.00 £3.00 4-14 Days
Rest of World Courier £22.50 £3.00 3-6 Days
Rest of World Airmail £8.00 £3.00 7-21 Days

** Includes Austria, Belgium, Denmark, France, Germany, Greece, Iceland, Irish Republic, Italy, Luxembourg, Netherlands, Portugal, Spain, Sweden and Switzerland.

Delivery Help & FAQs

Returns Information

If you are not completely satisfied with your purchase*, you may return it to us in its original condition with in 30 days of receiving your delivery or collection notification email for a refund. Except for damaged items or delivery issues the cost of return postage is borne by the buyer. Your statutory rights are not affected.

* For Exclusions and terms on damaged or delivery issues see Returns Help & FAQs

You might also like

Quantifying Software: Global and...
Capers Jones
The CIO's Guide to Risk
Jessica Keyes
Speed, Data, and Ecosystems: ...
Jan Bosch
Product Management in Practice
Matt LeMay
Latest Blog
#FoylesFive: Foreign Languages Part One

Our knowledgeable and fabulous Languages Department have put together a great selection of books, to help share the magic of reading in every language. First up we have books in Italian, Portugese and Swedish.

Crime, Responsibility and Morality: The Impact of Siberian Exile on Fyodor Dostoevsky

Daniel describes how Siberian exile was the great writer Fyodor Dostoevsky’s foundational experience as an author and thinker.

#FoylesFive: Classical Languages

The team from our Languages Department pick a selection of titles on language and its historical and contemporary importance.

View all Blog Entries
Show/Hide Tweets
© W&G Foyle Ltd