{"title":"Gifford Barry Ser","description":null,"products":[{"product_id":"wild-at-heart-book-barry-gifford-9780802134530","title":"Wild at Heart","description":"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 LOP 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.","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49543225442577,"sku":"GOR003893620","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ GOOD \/ SBYB","offer_id":49758475976977,"sku":"CIN080213453XG","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ VERY_GOOD \/ SBYB","offer_id":50594804990225,"sku":"CIN080213453XVG","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ WELL_READ \/ SBYB","offer_id":53112590795025,"sku":"CIN080213453XA","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/080213453X.jpg?v=1751233481"},{"product_id":"perdita-durango-book-barry-gifford-9780802134837","title":"Perdita Durango","description":"Bad girl Perdita Durango and her dealer boyfriend Romeo Dolorosa get their kicks on a journey from Louisiana to Los Angeles that involves santeria rituals and kidnapping.","brand":"WoB","offers":[{"title":"US \/ GOOD \/ SBYB","offer_id":49917507371281,"sku":"CIN0802134831G","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ GOOD \/ INTERNAL","offer_id":50693419204881,"sku":"GOR012967384","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ NEW \/ INGRAM","offer_id":51007242895633,"sku":"NIN9780802134837","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":51925278261521,"sku":"GOR003267455","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52820679065873,"sku":"NLS9780802134837","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0802134831.jpg?v=1751043316"}],"url":"https:\/\/www.worldofbooks.com\/en-gb\/collections\/gifford-barry-ser-book-series.oembed","provider":"World of Books ","version":"1.0","type":"link"}