A Declarative Debugger for Haskell

Total Page:16

File Type:pdf, Size:1020Kb

A Declarative Debugger for Haskell A Declarative Debugger for Haskell Bernard James Pope Submitted in total fulfilment of the requirements of the degree of Doctor of Philosophy December 2006 Department of Computer Science and Software Engineering The University of Melbourne Victoria, Australia Abstract This thesis is about the design and implementation of a debugging tool which helps Haskell programmers understand why their programs do not work as intended. The traditional debugging technique of examining the program execution step-by-step, popular with imperative languages, is less suitable for Haskell because its unorthodox evaluation strategy is difficult to relate to the structure of the original program source code. We build a debugger which focuses on the high-level logical meaning of a program rather than its evaluation order. This style of debugging is called declarative debugging, and it originated in logic programming languages. At the heart of the debugger is a tree which records information about the evaluation of the program in a manner which is easy to relate to the structure of the program. Links between nodes in the tree reflect logical relationships between entities in the source code. An error diagnosis algorithm is applied to the tree in a top-down fashion, searching for causes of bugs. The search is guided by an oracle, who knows how each part of the program should behave. The oracle is normally a human — typically the person who wrote the program — however, much of its behaviour can be encoded in software. An interesting aspect of this work is that the debugger is implemented by means of a program transformation. That is, the program which is to be debugged is trans- formed into a new one, which when evaluated, behaves like the original program but also produces the evaluation tree as a side-effect. The transformed program is augmented with code to perform the error diagnosis on the tree. Running the trans- formed program constitutes the evaluation of the original program plus a debugging iii session. The use of program transformation allows the debugger to take advantage of existing compiler technology — a whole new compiler and runtime environment does not need to be written — which saves much work and enhances portability. The technology described in this thesis is well-tested by an implementation in software. The result is a useful tool, called buddha, which is publicly available and supports all of the Haskell 98 standard. iv Declaration This is to certify that • the thesis comprises only my original work towards the PhD except where indicated in the Preface, • due acknowledgment has been made in the text to all other material used, • the thesis is less than 100,000 words in length, exclusive of tables, maps, bib- liographies, and appendices. v Preface This thesis is based in part on the original work presented in the following four peer reviewed papers: • B. Pope. Declarative debugging with Buddha. In V. Vene and T. Uustalu, editors, Advanced Functional Programming, 5th International School, volume 3622 of Lecture Notes in Computer Science, pages 273–308. Springer-Verlag, 2005. (Invited paper). – The debugging example in Chapter 3 is taken from this paper. – The program transformation algorithm in Chapter 5 is an improved ver- sion of the one discussed in this paper. – The method of observing values for printing in Chapter 6 is based on the technique described in this paper, and also the following paper. • B. Pope and L. Naish. Practical aspects of declarative debugging in Haskell- 98. In Proceedings of the Fifth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, pages 230–240. ACM Press, 2003. – The re-evaluation scheme and method of debugging of I/O computations in Chapter 7 are based on this paper, though greatly improved in the current presentation. vii • B. Pope and L. Naish. A program transformation for debugging Haskell-98. Australian Computer Science Communications, 25(1):227–236, 2003. – This paper describes an earlier version of the debugging program trans- formation. The treatment of higher-order functions in this paper is the basis of the scheme discussed in Chapter 5 and Chapter 6. • B. Pope and L. Naish. Specialisation of higher-order functions for debugging. In M. Hanus, editor, Proceedings of the International Workshop on Functional and (Constraint) Logic Programming (WFLP 2001), volume 64 of Electronic Notes in Theoretical Computer Science. Elsevier Science Publishers, 2002. – This paper describes an earlier approach to transforming higher-order functions. It is made obsolete by the new transformation described in Chapter 5. We discuss this alternative approach in Chapter 8. Lee Naish contributed to the development of this thesis. He was the secondary author on three of the above-mentioned papers. In addition, the following parts are based extensively on his work: • The definition of buggy nodes in Chapter 3. • The concepts of intended interpretations and inadmissibility in Chapter 4. • The use of quantifiers to handle partial values in derivations in Chapter 4. The following items have not been previously published: • The more flexible definition of evaluation dependency in Chapter 3. • The performance measurements in Chapters 5 and 7. • The improved scheme for piecemeal EDT construction in Chapter 7. viii Acknowledgments Lee Naish, my supervisor, is a pioneer in the field of declarative debugging and I am honoured to work with him for so many years on this topic. Our relationship began in 1997, when I was starting my honours year and keen to work in functional programming. To my great fortune Lee had a project in debugging and was kind enough to let me join in. It was quite clear that a single honours year was not long enough, so I jumped at the chance to continue with a PhD. In my quest for the elusive debugger I have stumbled, taken many wrong paths, and backtracked frequently over well-trodden ground. Such meandering would test even the most patient of souls, yet Lee was happy to let me explore, and always ready to offer sound advice and directions when I needed them. Thank you Lee for supporting me on this long journey, I have enjoyed your friendship and guidance every step of the way. I am also greatly indebted to Harald Søndergaard, my co-supervisor, for leading me to functional programming so many years ago and showing me how stimulating Computer Science can be. I will never forget the day that I became a functional programmer. It was in Harald’s class, he was explaining with his usual enthusiasm the elegance of a line of Haskell code — though he made it seem like it was a line of poetry. From then on I was converted. I must also thank Lee and Harald for proof reading earlier drafts of this thesis. Along the way I have had many functional programming comrades and it would be remiss of me not to give them praise. Foremost is Kevin Glynn, a truly great friend, keen functional programmer, and Wolves supporter. I have many fond mem- ix ories of my time spent with Kevin, in the office, on the soccer pitch (or in the stadium) and also in the pub. I hope that one day we will share the same continent again. I would like to thank all the members of the functional programming group for their support. A PhD can be an isolating experience and it was encouraging to have so many people to lend their ears. Thanks also to the many Mercurians who looked on with interest and provided much inspiration and competition to us lazy Haskellites. For almost all of this degree I lived with Steve Versteeg, a student himself, who showed me how to live life to the fullest extent. We enjoyed many adventures together and helped one another forget the harsh realities of deadlines and progress reports. Though there are many people to thank, none are more deserving of my gratitude than my beloved family. I am fortunate to have such kind and generous parents, Jan and Brian Pope. They are my foundation in life and I am eternally indebted to them for their endless support. I want to thank them for working so hard to allow me to pursue my interests and encouraging me in whatever I choose to do (even when I go about it so slowly). Thanks also to my sister Gabrielle Pope who has stood by me and urged me along in a way that only a big sister can. Outside of the offices and halls of the Computer Science department my life changed in a most remarkable way. I met, and later married, my darling wife Hui Nie Fu. She has been a constant source of love and happiness, and without her help I would not have completed this thesis. I look forward to our life to- gether, especially to exploring the world and visiting her family (my new family) in Selatpanjang. Finally, I would like to thank the Australian Federal Government for supporting this thesis with an Australian Postgraduate Award. x Contents 1 Introduction 1 1.1 Nosilverbullet .............................. 1 1.2 Bugs.................................... 2 1.3 Debugging................................. 3 1.4 DebuggingHaskell ............................ 7 1.5 Declarativedebugging .......................... 9 1.6 Researchproblems ............................ 10 1.6.1 Portability ............................ 10 1.6.2 Scalability............................. 11 1.7 Methodology ............................... 12 1.8 Contributions............................... 13 1.9 Structureofthethesis .......................... 14 2 Haskell 15 2.1 Introduction................................ 15 2.1.1 Outlineofthischapter. 16 2.2 KeyfeaturesofHaskell. .. .. .. .. .. .. .. 16 2.2.1 Syntax............................... 16 2.2.2 Purity............................... 17 2.2.3 Higher-order functions . 18 xi 2.2.4 Static types with polymorphism and overloading . 19 2.2.5 Non-strict evaluation . 20 2.2.6 Implicit memory management . 22 2.3 Dynamicsemantics............................ 23 2.3.1 Termrewriting .........................
Recommended publications
  • In BLACK CLOCK, Alaska Quarterly Review, the Rattling Wall and Trop, and She Is Co-Organizer of the Griffith Park Storytelling Series
    BLACK CLOCK no. 20 SPRING/SUMMER 2015 2 EDITOR Steve Erickson SENIOR EDITOR Bruce Bauman MANAGING EDITOR Orli Low ASSISTANT MANAGING EDITOR Joe Milazzo PRODUCTION EDITOR Anne-Marie Kinney POETRY EDITOR Arielle Greenberg SENIOR ASSOCIATE EDITOR Emma Kemp ASSOCIATE EDITORS Lauren Artiles • Anna Cruze • Regine Darius • Mychal Schillaci • T.M. Semrad EDITORIAL ASSISTANTS Quinn Gancedo • Jonathan Goodnick • Lauren Schmidt Jasmine Stein • Daniel Warren • Jacqueline Young COMMUNICATIONS EDITOR Chrysanthe Tan SUBMISSIONS COORDINATOR Adriana Widdoes ROVING GENIUSES AND EDITORS-AT-LARGE Anthony Miller • Dwayne Moser • David L. Ulin ART DIRECTOR Ophelia Chong COVER PHOTO Tom Martinelli AD DIRECTOR Patrick Benjamin GUIDING LIGHT AND VISIONARY Gail Swanlund FOUNDING FATHER Jon Wagner Black Clock © 2015 California Institute of the Arts Black Clock: ISBN: 978-0-9836625-8-7 Black Clock is published semi-annually under cover of night by the MFA Creative Writing Program at the California Institute of the Arts, 24700 McBean Parkway, Valencia CA 91355 THANK YOU TO THE ROSENTHAL FAMILY FOUNDATION FOR ITS GENEROUS SUPPORT Issues can be purchased at blackclock.org Editorial email: [email protected] Distributed through Ingram, Ingram International, Bertrams, Gardners and Trust Media. Printed by Lightning Source 3 Norman Dubie The Doorbell as Fiction Howard Hampton Field Trips to Mars (Psychedelic Flashbacks, With Scones and Jam) Jon Savage The Third Eye Jerry Burgan with Alan Rifkin Wounds to Bind Kyra Simone Photo Album Ann Powers The Sound of Free Love Claire
    [Show full text]
  • Kingo Gushikuma
    Kingo Gushikuma Kingo worked for Parker Ranch before joining the army in 1944. After service he worked as an independent contractor for cattle and was in the horse breeding and ranching business in Waiawa and Waihona valleys. Kingo is best known as a master saddle maker. His saddle craft made him famous as the designer of the "Kingo Slick" and "Kohala Slick" saddles, now being manufactured in Utah and Texas. Kingo still runs his own stable in Pearl City, “the Double Rainbow”, where he has shared his secrets and skills with young and old alike. Series 2, Tape 1 ORAL HISTORY INTERVIEW with Kingo Gushikuma (KG) at Double-Rainbow Ranch September 13, 2000 BY: Anna Loomis (AL) Note: There were some difficulties with the tape recorder in the first part of the interview. Some of the questions and a few of the answers are unclear. AL: Alright, this is an interview with Mr. Kingo Gushikuma at Double-Rainbow Ranch on October 13, 2000. He’s being interviewed by Anna [Loomis]. AL: [I just want to ask you about where you grew up.] KG: I was born in Kohala, grew up in Kohala too. Went school there. AL: Could you tell me about the house where you grew up? The house you were born in? KG: I was born in the Camp 18 in Kohala. When I was a little boy, my father made his own house and move out of the plantation camp. And that’s when he start raising cattle, and his own sugarcane. As I grew up, I help him with the sugar and the cattle.
    [Show full text]
  • Welcome, Everyone, and Thank You So Much for Joining Us for the Indigenous Wisdom for the Earth Series
    Welcome, everyone, and thank you so much for joining us for the Indigenous Wisdom for the Earth series. This series is a place for indigenous people to share their wisdom, their cultural heritage, their beliefs, and the challenges that they face. It is also for groups who work to help indigenous people to bring a voice to their needs and offer ways that you can get involved. The purpose of the series is to open our hearts and minds to cultures who have treasured our planet and could share with us insights that we can use to become more connected with nature and each other. We hope that you will be inspired, informed and intrigued. This month our guest is Madi Sato of Praising Earth. Madi is a singer, community leader, and ceremonialist of Japanese Ainu and Celtic roots. She is devoted to raising women’s voices for the benefit of our Earth Mother. Madi and her husband, poet Timothy P. McLaughlin, are the co-founders of PRAISING EARTH, an organization devoted to rewilding the human heart through the traditions of song, story, dance and ritual to enliven all people’s essential belonging to Earth. Praising Earth with Madi Sato ~ Cover © TreeSisters 2020 Terra: Welcome everyone. Thank you so much for joining us the Indigenous Wisdom for the Earth series. We have a very special guest today. Her name is Madi Sato. Madi Sato is a singer, community leader and ceremonialist of Japanese Ainu and Celtic roots. She's devoted to raising women's voices for the benefit of our Earth Mother and her Sacred Waters.
    [Show full text]
  • Tupac Shakur 29 Dr
    EXPONENTES DEL VERSO computación PDF generado usando el kit de herramientas de fuente abierta mwlib. Ver http://code.pediapress.com/ para mayor información. PDF generated at: Sat, 08 Mar 2014 05:48:13 UTC Contenidos Artículos Capitulo l: El mundo de el HIP HOP 1 Hip hop 1 Capitulo ll: Exponentes del HIP HOP 22 The Notorious B.I.G. 22 Tupac Shakur 29 Dr. Dre 45 Snoop Dogg 53 Ice Cube 64 Eminem 72 Nate Dogg 86 Cartel de Santa 90 Referencias Fuentes y contribuyentes del artículo 93 Fuentes de imagen, Licencias y contribuyentes 95 Licencias de artículos Licencia 96 1 Capitulo l: El mundo de el HIP HOP Hip hop Hip Hop Orígenes musicales Funk, Disco, Dub, R&B, Soul, Toasting, Doo Wop, scat, Blues, Jazz Orígenes culturales Años 1970 en el Bronx, Nueva York Instrumentos comunes Tocadiscos, Sintetizador, DAW, Caja de ritmos, Sampler, Beatboxing, Guitarra, bajo, Piano, Batería, Violin, Popularidad 1970 : Costa Este -1973 : Costa, Este y Oeste - 1980 : Norte America - 1987 : Países Occidentales - 1992 : Actualidad - Mundial Derivados Electro, Breakbeat, Jungle/Drum and Bass, Trip Hop, Grime Subgéneros Rap Alternativo, Gospel Hip Hop, Conscious Hip Hop, Freestyle Rap, Gangsta Rap, Hardcore Hip Hop, Horrorcore, nerdcore hip hop, Chicano rap, jerkin', Hip Hop Latinoamericano, Hip Hop Europeo, Hip Hop Asiatico, Hip Hop Africano Fusiones Country rap, Hip Hop Soul, Hip House, Crunk, Jazz Rap, MerenRap, Neo Soul, Nu metal, Ragga Hip Hop, Rap Rock, Rap metal, Hip Life, Low Bap, Glitch Hop, New Jack Swing, Electro Hop Escenas regionales East Coast, West Coast,
    [Show full text]
  • Girl Scout Song Book
    Song Book For meetings, campfires and other Girl Scout adventures. VE700/7‐2016 Table of Contents A RAM SAM SAM .......................................................................................................................................... 5 ABC ................................................................................................................................................................ 5 ADDAMS FAMILY ........................................................................................................................................... 5 AIN’T IT GREAT TO BE CRAZY ........................................................................................................................ 5 ALFRED THE ALLIGATOR ................................................................................................................................ 6 ALICE ............................................................................................................................................................. 6 ALIVE, AWAKE, ALERT ................................................................................................................................... 6 AMEN ............................................................................................................................................................ 6 AMERICA ....................................................................................................................................................... 6 AMERICA THE BEAUTIFUL ............................................................................................................................
    [Show full text]
  • SONGS to SING!!! 72 1 out of This World! NOTES Song Book
    Turn the page for SONGS TO SING!!! 72 1 Out of this World! NOTES Song Book THE AARDVARK SONG………………………………………..………4 APPLES AND BANANAS………………………………………….…5 ARUSTASHA………………………………………………….…....…….5 BABY JAWS………………………………………………………….… 5 BAZOOKA BUBBLE GUM…………………………………………....6 BANANAS, COCONUTS, AND GRAPES…..………………...………7 BANANA SONG…………………………………………….………..….7 BLACK SOCKS………………………………………………………....7 BEAVER CALL………………………………………………………....8 THE BOA CONSTRICTOR…………………………………………..…9 BOOM-CHICKA-BOOM…………………………………………….…10 BROWN EYED GIRL…………………………………………………..11 BUMBLEBEE SONG………………………………………………….12 BUNGALOW……………………………………………………………13 CABIN IN THE WOODS……………………………………………….14 CAN YOU FEEL THE LOVE TONIGHT.……………………………14 CHUGGY CHUGGY….………………………………………………15 CLEAN IT UP BABY……………………………………………………15 CLEAN IT UP BABY (ROCK VERSION)……………………………16 DAY-O……………………………………………………………………17 DESPERADO………..…………………………………………………18 DOWN BY THE BAY…..………………………………………….……19 GOODNIGHT SONG….……………………………………….………20 GOOD RIDDANCE (TIME OF YOUR LIFE)………………………...21 HANDS ON MY SHELL……………………………………………….21 HERE COMES THE SUN……………………………………………...22 HERMIE THE WORM…………………………………………………23 HI, MY NAME IS JOE…………………………………………………25 HUMPTY DUMP……………………………………………………..…26 I DON’T WANT TO LIVE ON THE MOON…………………………27 I’M COMING OUT OF MY SHELL………………………………….28 JET PLANE………………………………………………………………30 2 71 NOTES LEAN ON ME……….……………………………………………….…31 THE LION SLEEPS TONIGHT….….………………………………..32 THE LITTLEST WORM……………………………………………..…33 MOMMA DON’T WEAR NO SOCKS………………………………34 HIGH HEELS…………………………………………………………35 HAVE FUN, BE YOURSELF……………………...........................
    [Show full text]
  • Toward a Fully Resolved Fungal Tree of Life
    Annual Review of Microbiology Toward a Fully Resolved Fungal Tree of Life Timothy Y. James,1 Jason E. Stajich,2 Chris Todd Hittinger,3 and Antonis Rokas4 1Department of Ecology and Evolutionary Biology, University of Michigan, Ann Arbor, Michigan 48109, USA; email: [email protected] 2Department of Microbiology and Plant Pathology, Institute for Integrative Genome Biology, University of California, Riverside, California 92521, USA; email: [email protected] 3Laboratory of Genetics, DOE Great Lakes Bioenergy Research Center, Wisconsin Energy Institute, Center for Genomic Science and Innovation, J.F. Crow Institute for the Study of Evolution, University of Wisconsin–Madison, Madison, Wisconsin 53726, USA; email: [email protected] 4Department of Biological Sciences, Vanderbilt University, Nashville, Tennessee 37235, USA; email: [email protected] Annu. Rev. Microbiol. 2020. 74:291–313 Keywords First published as a Review in Advance on deep phylogeny, phylogenomic inference, uncultured majority, July 13, 2020 classification, systematics The Annual Review of Microbiology is online at micro.annualreviews.org Abstract https://doi.org/10.1146/annurev-micro-022020- Access provided by Vanderbilt University on 06/28/21. For personal use only. In this review, we discuss the current status and future challenges for fully 051835 Annu. Rev. Microbiol. 2020.74:291-313. Downloaded from www.annualreviews.org elucidating the fungal tree of life. In the last 15 years, advances in genomic Copyright © 2020 by Annual Reviews. technologies have revolutionized fungal systematics, ushering the field into All rights reserved the phylogenomic era. This has made the unthinkable possible, namely ac- cess to the entire genetic record of all known extant taxa.
    [Show full text]
  • The History of Tree Health and Tree Populations in England Since C.1550
    The History of Tree Health and Tree Populations in England since c.1550. Tom Williamson Gerry Barnes Toby Pillatt Acknowledgements A large number of people have helped with this project, providing access to documents or providing information and advice. We would like to thank, in particular, the staff at Hertfordshire Archives and Local History, the Northamptonshire Record Office, Norfolk Record Office, and the various Yorkshire Record Offices (at Northallerton, Leeds, Bradford, Calderdale, Kirklees, Sheffield, Doncaster, Barnsley, Hull and Beverley); and Crispin Towell at Boughton House archives, Northamptonshire. Thanks also to Anne Rowe and Peter Austin, for information about Hertfordshire; Tracey Partida, for access to her research on Northamptonshire enclosure; and to Sid Cooper, Teresa Betterton, Rachel Riley, Richard Brooke, Jim Lyon, Andrew Falcon, Rod Pass, John White, Mark Pritchard, Rory Hart, Peter Clarke, Garry Battell, Nicola Orchard, Justin Gilbert, Andrew MacNair, Jack Langton, Rob Liddiard, Steve Scott and Patsy Dallas. Contents Part 1: Report Summary ……………………………………………………………………………… ........................ 4 Part 2: Main Report: ................................................................................................................ 18 1. Introduction: trees, woods and landscapes ….. .................................................................... 18 2. Farmland Trees ..................................................................................................................... 51 3. Woodland and Wood-Pasture
    [Show full text]
  • Feat. Eminen) (4:48) 77
    01. 50 Cent - Intro (0:06) 75. Ace Of Base - Life Is A Flower (3:44) 02. 50 Cent - What Up Gangsta? (2:59) 76. Ace Of Base - C'est La Vie (3:27) 03. 50 Cent - Patiently Waiting (feat. Eminen) (4:48) 77. Ace Of Base - Lucky Love (Frankie Knuckles Mix) 04. 50 Cent - Many Men (Wish Death) (4:16) (3:42) 05. 50 Cent - In Da Club (3:13) 78. Ace Of Base - Beautiful Life (Junior Vasquez Mix) 06. 50 Cent - High All the Time (4:29) (8:24) 07. 50 Cent - Heat (4:14) 79. Acoustic Guitars - 5 Eiffel (5:12) 08. 50 Cent - If I Can't (3:16) 80. Acoustic Guitars - Stafet (4:22) 09. 50 Cent - Blood Hound (feat. Young Buc) (4:00) 81. Acoustic Guitars - Palosanto (5:16) 10. 50 Cent - Back Down (4:03) 82. Acoustic Guitars - Straits Of Gibraltar (5:11) 11. 50 Cent - P.I.M.P. (4:09) 83. Acoustic Guitars - Guinga (3:21) 12. 50 Cent - Like My Style (feat. Tony Yayo (3:13) 84. Acoustic Guitars - Arabesque (4:42) 13. 50 Cent - Poor Lil' Rich (3:19) 85. Acoustic Guitars - Radiator (2:37) 14. 50 Cent - 21 Questions (feat. Nate Dogg) (3:44) 86. Acoustic Guitars - Through The Mist (5:02) 15. 50 Cent - Don't Push Me (feat. Eminem) (4:08) 87. Acoustic Guitars - Lines Of Cause (5:57) 16. 50 Cent - Gotta Get (4:00) 88. Acoustic Guitars - Time Flourish (6:02) 17. 50 Cent - Wanksta (Bonus) (3:39) 89. Aerosmith - Walk on Water (4:55) 18.
    [Show full text]
  • A City Is Not a Tree 1 Christopher Alexander University of California, Berkeley and Center for Environmental Structure
    CHRISTOPHER A LEX A N D ER A CIT Y IS N OT A T REE: 50TH A NNIVERSARY E DITION WITH MIKE BATTY * LUÍS BETTENCOURT * HOWARD DAVIS JAAP DAW SO N * BIN JIAN G * M ICH AEL W M EH AFFY HANS JOACHIM NEIS * DELLÉ ODELEYE * SERGIO PO RTA * YO DAN RO FÈ * MARIAPIA VIDO LI AND OTHER CONTRIBUTORS ED ITED BY MICHAEL W MEHAFFY SUSTASIS P RESS IN A SSO C IAT IO N W IT H CEN TER FO R E NVIRONM ENTAL S TRUCTURE 1 ISBN 978-0-9893469-7-9 Copyright © 2015 Sustasis Press Sustasis Foundation, Portland, Oregon USA 2 Table of Contents Editor's Preface iv Acknowledgements vi I THE ORIGINAL 1965 TEXT Chapter 1 A City is Not a Tree 1 Christopher Alexander University of California, Berkeley and Center for Environmental Structure II CONTEMPORARY COMMENTARIES Chapter 2 Alexander’s Challenge: 35 Beyond Hierarchy In City Systems and Systems of Cities Michael Batty University College London Chapter 3 The Complexity of Cities 45 and the Problem of Urban Design Luís Bettencourt Santa Fe Institute Chapter 4 A Building Culture is Not a Tree 63 Howard Davis University of Oregon Chapter 5 A City is a World Full of Bodies 77 Jaap Dawson Delft University of Technology Chapter 6 A City is a Complex Network 89 Bin Jiang University of G8vle Chapter 7 Notes on the genesis of wholes: 101 “A city is not a tree” in the larger context of Alexander's work Michael Mehaffy Sustasis Foundation Chapter 8 ‘A City is Not a Tree’ and 121 A New Theory of Urban Design From Urban Critique to Environmental Structure to Urban Process Hans Joachim Neis University of Oregon Chapter 9 Alexander and Emerging 139 'Images of the City’: On Form, Metaphor and Theory Dellé Odeleye Anglia Ruskin University Chapter 10 The City and the Grid: 163 Building Beauty at Large Scale Sergio Porta, Yodan Rofè, MariaPia Vidoli University of Strathclyde, Switzerland Institute for Dryland Environmental and Energy Research, and Ben-Gurion University of the Negev III REMINISCENCES Chapter 11 Robert Campbell, Bruce F.
    [Show full text]
  • The Mississippi Mass Choir
    R & B BARGAIN CORNER Bobby “Blue” Bland “Blues You Can Use” CD MCD7444 Get Your Money Where You Spend Your Time/Spending My Life With You/Our First Feelin's/ 24 Hours A Day/I've Got A Problem/Let's Part As Friends/For The Last Time/There's No Easy Way To Say Goodbye James Brown "Golden Hits" CD M6104 Hot Pants/I Got the Feelin'/It's a Man's Man's Man's World/Cold Sweat/I Can't Stand It/Papa's Got A Brand New Bag/Feel Good/Get on the Good Foot/Get Up Offa That Thing/Give It Up or Turn it a Loose Willie Clayton “Gifted” CD MCD7529 Beautiful/Boom,Boom, Boom/Can I Change My Mind/When I Think About Cheating/A LittleBit More/My Lover My Friend/Running Out of Lies/She’s Holding Back/Missing You/Sweet Lady/ Dreams/My Miss America/Trust (featuring Shirley Brown) Dramatics "If You come Back To Me" CD VL3414 Maddy/If You Come Back To Me/Seduction/Scarborough Faire/Lady In Red/For Reality's Sake/Hello Love/ We Haven't Got There Yet/Maddy(revisited) Eddie Floyd "Eddie Loves You So" CD STAX3079 'Til My Back Ain't Got No Bone/Since You Been Gone/Close To You/I Don't Want To Be With Nobody But You/You Don't Know What You Mean To Me/I Will Always Have Faith In You/Head To Toe/Never Get Enough of Your Love/You're So Fine/Consider Me Z. Z.
    [Show full text]
  • Zaštićena Zona
    ZAŠTIĆENA ZONA „crna“ komedija DAMIR ŠODAN SADRŽAJ Lica ....................................................................................................................................... 2 Čin prvi ................................................................................................................................. 4 Čin drugi ............................................................................................................................. 33 Čin treći .............................................................................................................................. 66 O autoru .............................................................................................................................. 86 Impresum ............................................................................................................................ 87 Things are more like they are now than they ever were. Dwight Eisenhower 1 LICA bolesnici: HANKA, 37, bivša frizerka i nesuđena estradna zvijezda PETRA, 42, bivša službenica SDK ĐOVANI, 33, sitni švercer, folirant ĐEGER, 35, provincijski roker, pomalo megaloman TITO, 60, pravo ime Gvozden, bivši referent za ONO i DSZ GAZDA, 55, nekadašnji direktor tvornice “Vijak”, pati, između ostalog, i od prijapizma GENERALNI, 60, bivši generalni direktor drvnog kombinata “Naša šuma” PROFESOR, 50, bivši heideggerijanac, teoretičar postmoderne, erudit, lacanovac, itd. TROKUT, 40, bivši rudar, trčao štafetu, ima govornu manu BRZI, 27, bivši konobar i student veterine PEPO, 65, bivši
    [Show full text]