Universal Music International | ISBN-13: 9780262201759 | English | PDF | 1347 Pages | Size: 5.35 MB

Introduction
Hundreds of programming languages are in use today—scripting languages for Internet commerce, user interface programming tools, spreadsheet macros, page format specification languages, and many others. Designing a programming language is a metaprogramming activity that bears certain similarities to programming in a regular language, with clarity and simplicity even more important than in ordinary programming. This comprehensive text uses a simple and concise framework to teach key ideas in programming language design and implementation. The book’s unique approach is based on a family of syntactically simple pedagogical languages that allow students to explore programming language concepts systematically. It takes as its premise and starting point the idea that when language behaviors become incredibly complex, the description of the behaviors must be incredibly simple.

Table of Contents

Preface xix
Acknowledgments xxi
I Foundations 1
1 Introduction 3
2 Syntax 19
3 Operational Semantics 45
4 Denotational Semantics 113
5 Fixed Points 163
II Dynamic Semantics 205
6 FL: A Functional Language 207
7 Naming 307
8 State 383
9 Control 443
10 Data 539
III Static Semantics 615
11 Simple Types 617
12 Polymorphism and Higher-order Types 701
13 Type Reconstruction 769
14 Abstract Types 839
15 Modules 889
16 Effects Describe Program Behavior 943
IV Pragmatics 1003
17 Compilation 1005
18 Garbage Collection 1119
A A Metalanguage 1147
B Our Pedagogical Languages 1197
References 1199
Index 1227

*_____________________________________________________

World Scientific Publishing Company, Inc. | ISBN-13: 9789812387035 | English | PDF | 298 Pages | Size: 12.4 MB

incoln is a physicist and the collaborating author on numerous research papers at the Fermi National Accelerator Laboratory (Fermilab), where he investigates high-energy particles. A veteran of many popular talks on physics, he charmingly relates the tale of humankind’s almost insatiable curiosity about the ultimate nature of nature and the quest to determine the basic particles of matter. His style is engaging and obviously directed to informed lay readers, but the more scientifically minded will find it equally appealing. Still, at over 500 pages, it is not light reading. If digested with the notion that this topic is presented in a broad swath, both historically and scientifically, and not meant to be definitive, the work offers readers an appreciation of the investigative procedure, the accumulated body of research, and the people who did the investigating. Recommended for public and academic collections.

Table Of Contents

Foreword ix
Preface xiii
Acknowledgements xxiii
1. Early History 1
2. The Path to Knowledge (History of Particle Physics) 22
3. Quarks and Leptons 107
4. Forces: What Holds It All Together 147
5. Hunting for the Higgs 209
6. Accelerators and Detectors: Tools of the Trade 248
7. Near Term Mysteries 315
8. Exotic Physics (The Next Frontier) 383
9. Recreating the Universe 10,000,000 Times a Second 444
10. Epilogue: Why Do We Do It? 487
Appendix A Greek Symbols 492
Appendix B Scientific Jargon 493
Appendix C Particle-Naming Rules 496
Appendix D Essential Relativity and Quantum Mechanics 501
Appendix E Higgs Boson Production 513
Appendix F Neutrino Oscillations 519
Further Reading 525
Glossary 535
Index 557

* Quem por acaso tiver interesse em o lêr, que diga que eu mando para o e-mail

http://www.humanlevelartificialintelligence.com/

The Science of the Mind@Google.com