04540nam 22005652 450 991078615820332120151022152958.01-107-23730-01-107-25486-81-107-30175-01-107-30684-11-107-30904-21-107-31459-31-139-34213-4(CKB)2670000000329908(EBL)1113098(OCoLC)827944725(UkCbUP)CR9781139342131(MiAaPQ)EBC1113098(Au-PeEL)EBL1113098(CaPaEBR)ebr10656308(OCoLC)828140158(PPN)261346873(PPN)16907689X(EXLCZ)99267000000032990820120224d2013|||| uy| 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierPractical foundations for programming languages /Robert Harper[electronic resource]Cambridge :Cambridge University Press,2013.1 online resource (xviii, 471 pages) digital, PDF file(s)Title from publisher's bibliographic system (viewed on 05 Oct 2015).1-107-02957-0 Includes bibliographical references and index.Machine generated contents note: Part I. Judgments and Rules: 1. Inductive definitions; 2. Hypothetical judgments; 3. Syntactic objects; 4. Generic judgments; Part II. Levels of Syntax: 5. Concrete syntax; 6. Abstract syntax; Part III. Statics and Dynamics: 7. Statics; 8. Dynamics; 9. Type safety; 10. Evaluation dynamics; Part IV. Function Types: 11. Function definitions and values; 12. Godel's system T; 13. Plotkin's PCF; Part V. Finite Data Types: 14. Product types; 15. Sum patterns; 16. Pattern matching; 17. Generic programming; Part VI. Infinite Data Types: 18. Inductive and co-inductive types; 19. Recursive types; Part VII. Dynamic Types: 20. The untyped 1-calculus; 21. Dynamic typing; 22. Hybrid typing; Part VIII. Variable Types: 23. Girard's system F; 24. Abstract types; 25. Constructors and kinds; 26. Indexed families of types; Part IX. Subtyping: 27. Subtyping; 28. Singleton and dependent kinds; Part X. Classes and Methods: 29. Dynamic dispatch; 30. Inheritance; Part XI. Control Effects: 31. Control stacks; 32. Exceptions; 33. Continuations; Part XII. Types and Propositions: 34. Constructive logic; 35. Classical logic; Part XIII. Symbols: 36. Symbols; 37. Fluid binding; 38. Dynamic classification; Part XIV. Storage Effects: 39. Modernized algol; 40. Mutable data structures; Part XV. Laziness: 41. Lazy evaluation; 42. Polarization; Part XVI. Parallelism: 43. Nested parallelism; 44. Futures and speculation; Part XVII. Concurrency: 45. Process calculus; 46. Current algol; 47. Distributed algol; Part XVIII. Modularity: 48. Separate compilation and linking; 49. Basic modules; 50. Parameterized modules; Part XIX. Equivalence: 51. Equational reasoning for T; 52. Equational reasoning for PCF; 53. Parametricity.Types are the central organizing principle of the theory of programming languages. In this innovative book, Professor Robert Harper offers a fresh perspective on the fundamentals of these languages through the use of type theory. Whereas most textbooks on the subject emphasize taxonomy, Harper instead emphasizes genetics, examining the building blocks from which all programming languages are constructed. Language features are manifestations of type structure. The syntax of a language is governed by the constructs that define its types, and its semantics is determined by the interactions among those constructs. The soundness of a language design - the absence of ill-defined programs - follows naturally. Professor Harper's presentation is simultaneously rigorous and intuitive, relying on elementary mathematics. The framework he outlines scales easily to a rich variety of language concepts and is directly applicable to their implementation. The result is a lucid introduction to programming theory that is both accessible and practical.Programming languages (Electronic computers)Programming languages (Electronic computers)005.13COM051010bisacshHarper Robert1957-1572524UkCbUPUkCbUPBOOK9910786158203321Practical foundations for programming languages3847540UNINA03777nam 2200421 450 991080810390332120200520144314.09781788996389(CKB)4970000000061379(CaSebORM)9781788990776(MiAaPQ)EBC5662709(Au-PeEL)EBL5662709(OCoLC)1085180015(EXLCZ)99497000000006137920190220d2019 uy 0engurcn####|||||txtrdacontentcrdamediacrrdacarrierAWS certified SysOps administrator - associate guide your one-stop solution for passing the AWS SysOps administrator certification /Marko Sluga1st editionBirmingham ;Mumbai :Packt Publishing Ltd,2019.1 online resource (584 pages)1-78899-077-3 An effective guide to becoming an AWS Certified SysOps Administrator Key Features Not only pass the certification with confidence but also enhance your skills to solving real-world scenarios. A practical guide to getting you hands-on experience with application management, deployment, operation. Enhance your AWS skills with practice questions and mock tests. Book Description AWS certifications are becoming one of the must have certifications for any IT professional working on an AWS Cloud platform. This book will act as your one stop preparation guide to validate your technical expertise in deployment, management, and operations on the AWS platform. Along with exam specific content this book will also deep dive into real world scenarios and hands-on instructions. This book will revolve around concepts like teaching you to deploy, manage, and operate scalable, highly available, and fault tolerant systems on AWS. You will also learn to migrate an existing on-premises application to AWS. You get hands-on experience in selecting the appropriate AWS service based on compute, data, or security requirements. This book will also get you well versed with estimating AWS usage costs and identifying operational cost control mechanisms. By the end of this book, you will be all prepared to implement and manage resources efficiently on the AWS cloud along with confidently passing the AWS Certified SysOps Administrator ? Associate exam. What you will learn Create and manage users, groups, and permissions using AWS IAM services Create a secure VPC with public and private subnets, Network Access Control, and security groups Get started with launching your first EC2 instance, and working with it Handle application traffic with ELB and monitor AWS resources with CloudWatch Work with S3, Glacier, and CloudFront Work across distributed application components using SWF Understand event-based processing with Lambda and messaging SQS and SNS in AWS Get familiar with AWS deployment concepts and tools including Elastic Beanstalk, CloudFormation and AWS OpsWorks Who this book is for If you are a system administrator or a system engineer interested in leveraging the AWS platform to deploy applications then, this book is for you. IT professionals interested in passing the AWS Certified Sysops Administrator will also benefit from this book. Some basic understanding of working AWS components would do wonders.Electronic data processing personnelExaminationsStudy guidesElectronic data processing personnelExaminations651.8023Sluga Marko1659775BackSpace Academy.MiAaPQMiAaPQMiAaPQBOOK9910808103903321AWS certified SysOps administrator - associate guide4062713UNINA