Wild at Heart by Barry Gifford
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.The author of more than forty works of fiction, nonfiction, and poetry, which have been translated into over twenty-five languages, BARRY GIFFORD writes distinctly American stories for readers around the globe. From screenplays and librettos to his acclaimed Sailor and Lula novels, Gifford's writing is as distinctive as it is difficult to classify. Born in the Seneca Hotel on Chicago's Near North Side, he relocated in his adolescence to New Orleans. The move proved significant: throughout his career, Gifford's fiction--part-noir, part-picaresque, always entertaining--is born of the clash between what he has referred to as his Northern Side and Southern Side. Gifford has been recipient of awards from PEN, the National Endowment for the Arts, the American Library Association, the Writers Guild of America and the Christopher Isherwood Foundation. His novel Wild at Heart was adapted into the 1990 Palme d'Or-winning film of the same name. Gifford lives in the San Francisco Bay Area.
| SKU | Unavailable |
| ISBN 13 | 9780802134530 |
| ISBN 10 | 080213453X |
| Title | Wild at Heart |
| Author | Barry Gifford |
| Series | Gifford Barry Ser |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Grove Press / Atlantic Monthly Press |
| Year published | 1996-04-03 |
| Number of pages | 160 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |