Programming Languages: Resources

Android Game Programming: A developer's guide by Horton, John Gain the knowledge to design and build highly interactive and amazing games for your phone and tablet from scratch. Create games that run at super-smooth 60 frames per second with the help of these easy-to-follow projects. Understand the internals of a game engine by building one and seeing the reasoning behind each of the components.

The Art of Assembly Language by Randall Hyde Widely respected by hackers of all kinds, The Art of Assembly Language teaches programmers how to understand assembly language and how to use it to write powerful, efficient code. Using the proven High Level Assembler (HLA) as its primary teaching tool, The Art of Assembly Language leverages your knowledge of high level programming languages to make it easier for you to quickly grasp basic assembly concepts. Among the most comprehensive references to assembly language ever published, The Art of Assembly Language, 2nd Edition has been thoroughly updated to reflect recent changes to the HLA language. All code from the book is portable to the Windows, Linux, Mac OS X, and FreeBSD operating systems.

Implementing Domain Specific Languages with Xtext and Xtend by Lorenzo Bettini Leverage the latest features of Xtext and Xtend to develop a domain-specific language.Integrate Xtext with popular third party IDEs and get the best out of both worlds.Discover how to test a DSL implementation and how to customize runtime and IDE aspects of the DSLWho This Book Is ForThis book is targeted at programmers and developers who want to create a DSL with Xtext. They should have basic familiarity with Eclipse and its functionality. Previous experience with compiler implementation can be advantageous. However, this book will explain all the development stages of a DSL.What You Will LearnWrite an Xtext grammar for a DSLUse Xtend to customize all aspectsWrite constraint checks using the validator mechanismCustomize the UIWrite a code generator and an interpreter for a DSLTest the DSL implementation with JUnitMaster the Xtext scoping mechanism for symbol resolutionBuild your Xtext DSL with Maven/Tycho and GradleUse an Xtext editor in a web application and in IntelliJUnderstand best practices in DSL implementationsGet familiar with XbaseManually maintain the EMF model for an Xtext DSLIn DetailXtext is an open source Eclipse framework for implementing Domain-Specific Languages (DSLs) together with their integration in the Eclipse IDE. Xtext covers all aspects of a language infrastructure, including the parser, code generator, interpreter, and more. This book will enable you to implement DSLs efficiently, together with their IDE tooling, with Xtext and Xtend. Opening with a brief coverage of Xtext features involved in DSL implementation, the book will then introduce you to Xtend (a language that's completely interoperable with Java). You will then explore the typical programming development workflow with Xtext starting from the grammar of the DSL. The book will then explain the main concepts of Xtext, such as validation, code generation, and customizations of runtime and UI aspects. You will learn how to test a DSL implemented in Xtext with JUnit and advanced concepts such as type checking and scoping. The book will show you how to build and test your DSL with Maven/Tycho and Gradle, and how an Xtext DSL editor can also be used in a web application and in IntelliJ. You will also familiarize yourself with Xbase. At the end of the book, you will also learn how to manually maintain the EMF model for an Xtext DSL.

Logics and Languages for Reliability and Security - Volume 25 NATO Science for Peace and Security Series - D by J. Esparza (Editor); B. Spanfelner (Editor) Software-intensive systems are today an integral part of many everyday products. Whilst they provide great benefits in terms of ease of use and allow for new applications, they also impose enormous responsibilities. It is vital to ensure that such applications work correctly and that any data they use remains secure. Increasing the reliability of such systems is an important and challenging research topic in current computer science.This volume presents a number of papers which formed the basis for lectures at the 2009 summer school Formal Logical Methods for System Security and Correctness. The topics include: program analysis and verification by abstract interpretation, principles and applications of refinement types, multi-valued automata and their applications, mechanized semantics with applications to program proof and compiler verification and using security policies to write secure software, among others.This book delivers an interesting and valuable overview of state-of-the-art in logic- and language-based solutions to system reliability and security to anyone concerned with the correct functioning of software systems.

Object-Oriented Programming Languages and Event-Driven Programming by Dorian P. Yeager Essential concepts of programming language design and implementation are explained and illustrated in the context of the object-oriented programming language (OOPL) paradigm. Written with the upper-level undergraduate student in mind, the text begins with an introductory chapter that summarizes the essential features of an OOPL, then widens the discussion to categorize the other major paradigms, introduce the important issues, and define the essential terms. After a brief second chapter on event-driven programming (EDP), subsequent chapters are built around case studies in each of the languages Smalltalk, C++, Java, C#, and Python. Included in each case study is a discussion of the accompanying libraries, including the essential container classes. For each language, one important event-driven library is singled out and studied. Sufficient information is given so that students can complete an event-driven project in any of the given languages. After completing the course the student should have a solid set of skills in each language the instructor chooses to cover, a comprehensive overview of how these languages relate to each other, and an appreciation of the major issues in OOPL design. Key Features: *Provides essential coverage of Smalltalk origins, syntax, and semantics, a valuable asset for students wanting to understand the hybrid Objective C language *Provides detailed case studies of Smalltalk, Java, C++, C#, and Python and features a side-by-side development of the Java and C++ languages--highlighting their similarities and differences *Sets the discussion in a historical framework, tracing the roots of the OOPLs back to Simula 67. *Provides broad-based coverage of all languages, imparting essential skills as well as an appreciation for each language's design philosophy *Includes chapter summary, review questions, chapter exercises, an appendix with event-driven projects, and instructor resources

Practical Foundations for Programming Languages by Robert Harper "This book offers a fresh perspective on the fundamentals of programming languages through the use of type theory"-- Provided by publisher.

Programming Distributed Computing Systems by Carlos A. Varela An introduction to fundamental theories of concurrent computation and associated programming languages for developing distributed and mobile computing systems. Starting from the premise that understanding the foundations of concurrent programming is key to developing distributed computing systems, this book first presents the fundamental theories of concurrent computing and then introduces the programming languages that help develop distributed computing systems at a high level of abstraction. The major theories of concurrent computation--including the p-calculus, the actor model, the join calculus, and mobile ambients--are explained with a focus on how they help design and reason about distributed and mobile computing systems. The book then presents programming languages that follow the theoretical models already described, including Pict, SALSA, and JoCaml. The parallel structure of the chapters in both part one (theory) and part two (practice) enable the reader not only to compare the different theories but also to see clearly how a programming language supports a theoretical model. The book is unique in bridging the gap between the theory and the practice of programming distributed computing systems. It can be used as a textbook for graduate and advanced undergraduate students in computer science or as a reference for researchers in the area of programming technology for distributed computing. By presenting theory first, the book allows readers to focus on the essential components of concurrency, distribution, and mobility without getting bogged down in syntactic details of specific programming languages. Once the theory is understood, the practical part of implementing a system in an actual programming language becomes much easier.

Real Time Programming: Languages, Specification and Verification by R. K. Shyamasundar; S. Ramesh The primary aim of this monograph is to present the current research efforts that have gone into/or going on in the systematic design of real-time programs. Such an effort would help researchers and users in the area to get a clear picture of the issues of specification, verification and design of real-time reactive programs. It will clearly enable us to identify languages that can be used for different kinds of applications. Obviously, in an upcoming area like this, this presentation is far from complete.The quintessence of the monograph can be captured by the following question:How can we design and develop Robust Reactive (real-time) Programs?We address this question in this monograph through the various underlying issues listed, such as characteristics of real-time/reactive programs, reactive programming languages, verification and refinements.

Systematic Program Design: From Clarity to Efficiency by Yanhong Annie Liu "A systematic program design method can help developers ensure the correctness and performance of programs while minimizing the development cost. This book describes a method that starts with a clear specification of a computation and derives an efficient implementation by step-wise program analysis and transformations. The method applies to problems specified in imperative, database, functional, logic, and object-oriented programming languages with different data, control, and module abstractions. Designed for courses or self-study, this book includes numerous exercises and examples that require minimal computer science background, making it accessible to novices. Experienced practitioners and researchers will appreciate the detailed examples in a wide range of application areas including hardware design, image processing, access control, query optimization, and program analysis. The last section of the book points out directions for future studies"-- Provided by publisher.

Theory of Computation by George Tourlakis "In the (meta)theory of computing, the fundamental questions of the limitations of computing are addressed. These limitations, which are intrinsic rather than technology dependent, may immediatly rule out the existence of algorithmic solutions for some problems while for others they rule out efficient solutions. The author's approach is anchored on the concrete (and assumed) practical knowledge about general computer programming, attained readers in a first year programming course, as well as the knowledge of discrete mathematics at the same level. The book develops the metatheory of general computing and builds on the reader's prior computing experience. Metatheory via the programming formalism known as Shepherdson-Sturgis Unbounded Register Machines (URM)--a straightforward abstraction of modern highlevel programming languages--is developed. Restrictions of the URM programming language are also discussed. The author has chosen to focus on the highlevel language approach of URMs as opposed to the Turing Machine since URMs relate more directly to programming learned in prior experiences. The author presents the topics of automata and languages only after readers become familiar, to some extent, with the (general) computability theory including the special computability theory of more "practical" functions, the primitive recursive functions. Automata are presented as a very restricted programming formalism, and their limitations (in expressivity) and their associated languages are studied. In addition, this book contains tools that, in principle, can search a set of algorithms to see whether a problem is solvable, or more specifically, if it can be solved by an algorithm whose computations are efficient. Chapter coverage includes: Mathematical Background; Algorithms, Computable Functions, and Computations; A Subset of the URM Language: FA and NFA; and Adding a Stack to an NFA: Pushdown Automata"-- Provided by publisher.

Topics in Programming Languages by Luis Manuel Cabrita Pais Homem Topics in Programming Languages'explores the arch from the formation of alphabet and classical philosophy to artificial programming languages in the structure of one argumentative topics list: as if it were philosophy interpreted and programmed. One such endeavour is taken to tend toward phonetics and sounds of speech analysis with λ-calculus, and, ultimately, Prolog - the programming language of choice in artificial intelligence - born of the natural language processing reverie and delusion.

Using OpenCL Programming Massively Parallel Computers by J. Kowalik (Editor); T. Puzniakowski (Editor) In 2011 many computer users were exploring the opportunities and the benefits of the massive parallelism offered by heterogeneous computing. In 2000 the Khronos Group, a not-for-profit industry consortium, was founded to create standard open APIs for parallel computing, graphics and dynamic media. Among them has been OpenCL, an open system for programming heterogeneous computers with components made by multiple manufacturers. This publication explains how heterogeneous computers work and how to program them using OpenCL. It also describes how to combine OpenCL with OpenGL for displaying graphical effects in real time. Chapter 1 describes briefly two older de facto standard and highly successful parallel programming systems: MPI and OpenMP. Collectively, the MPI, OpenMP, and OpenCL systems cover programming of all major parallel architectures: clusters, shared-memory computers, and the newest heterogeneous computers. Chapter 2, the technical core of the book, deals with OpenCL fundamentals: programming, hardware, and the interaction between them. Chapter 3 adds important information about such advanced issues as double-versus-single arithmetic precision, efficiency, memory use, and debugging. Chapters 2 and 3 contain several examples of code and one case study on genetic algorithms. These examples are related to linear algebra operations, which are very common in scientific, industrial, and business applications. Most of the book's examples can be found on the enclosed CD, which also contains basic projects for Visual Studio, MinGW, and GCC. This supplementary material will assist the reader in getting a quick start on OpenCL projects.

Web Developers Reference Guide by Joshua Johanan; Talha Khan; Ricardo Zea Understand the essential elements of HTML, CSS, and JavaScript, including how and when to use themWalk through three of the best and most popular web development frameworks – jQuery, Bootstrap, and AngularJSReferences for any function you will need in your day-to-day web developmentWho This Book Is ForThis book is perfect for beginners, but more advanced web developers will also benefit. Laid out so you can refer to as much or as little as you need to, with this book you can exhaustively explore essential concepts for modern web developers.What You Will LearnExplore detailed explanations of all the major HTML elements and attributes, illustrated with examplesThoroughly explore CSS properties and functions and master their usageFind clear, concise descriptions of JavaScript syntax and expressionsRecognize various JavaScript design patterns and learn the basics of JavaScript object-orientated programmingImplement the latest ECMAScript 6 for client-side scripting in your web applicationsDiscover new ways to develop your website's frontend quickly and easily using BootstrapWrite JavaScript extensibly using jQuery―JavaScript's feature-rich libraryDelve into the key Node.js modules used in JavaScript server-side programmingAccess AngularJS's important modules, controllers, directives, and services quicklyIn DetailHTML, CSS, and JavaScript have come a long way since their inception to become the most widely used and powerful programming languages in the world today and the backbone of many complex web applications. Many frameworks have also been created to speed up and enhance the development of websites, such as Bootstrap, jQuery, and AngularJS. They help to make immersive web applications that provide a truly enjoyable experience.This comprehensive reference guide takes you through each topic in web development and highlights the most popular and important elements of each area. Starting with HTML, you will learn key elements and attributes and how they relate to each other. Next, you will explore CSS pseudo-classes and pseudo-elements, followed by CSS properties and functions. This will introduce you to many powerful and new selectors. You will then move on to JavaScript. This section will not just introduce functions, but will provide you with an entire reference for the language and paradigms. You will discover more about three of the most popular frameworks today―Bootstrap, which builds on CSS; jQuery, which builds on JavaScript; and AngularJS, which also builds on JavaScript. Finally, you will take a walk through Node.js, which is a server-side framework that allows you to write programs in JavaScript.

Boost. Asio C++ Network Programming by John Torjo What you want is an easy level of abstraction, which is just what this book provides in conjunction with Boost.Asio. Switching to Boost.Asio is just a few extra #include directives away, with the help of this practical and engaging guide.This book is great for developers that need to do network programming, who don't want to delve into the complicated issues of a raw networking API. You should be familiar with core Boost concepts, such as smart pointers and shared_from_this, resource classes (noncopyable), functors and boost::bind, boost mutexes, and the boost date/time library. Readers should also be familiar with “blocking” versus “non-blocking” operations.

Boost C++ Application Development Cookbook by Antony Polukhin This book follows a cookbook approach, with detailed and practical recipes that use Boost libraries.This book is great for developers new to Boost, and who are looking to improve their knowledge of Boost and see some undocumented details or tricks. It's assumed that you will have some experience in C++ already, as well being familiar with the basics of STL. A few chapters will require some previous knowledge of multithreading and networking. You are expected to have at least one good C++ compiler and compiled version of Boost (1.53.0 or later is recommended), which will be used during the exercises within this book.

C++ Multithreading Cookbook by Milos Ljumovic The book is an easy-to-follow guide for creating multi-threaded applications using C++. Each topic is thoroughly explained with multiple illustrations. Many algorithms, such as Dinning Philosophers Problem give you thorough explanations that will help you to understand and solve concurrent tasks. The book is intended for enterprise developers and programmers who wish to make use of C++ capabilities to learn the multithreaded approach. Knowledge of multithreading along with experience in C++ is an added advantage. However it is not a prerequisite.

Learning Object-Oriented Programming in C# 5. 0 by B. M. Harwani Learning object-oriented programming in C♯ 5.0 is a uniquely practical, hands-on guide to the powerful features of C♯ 5.0, one of the most common, general-purpose object-oriented programming languages in use today. The examples and projects in this book progress from easy to advanced, covering the principles and benefits of object-oriented programming for developing real-world applications. With the expert guidance of programmer, author, and teacher B.M. Harwani, you will explore: object-oriented programming fundamentals; advanced class features such as generics and operator overloading; web services, LINQ, multiple threading, and security features;.NET features, including assemblies, interfaces, delegates, events; web application development, and ADO.NET; and much more. Expand your programming skills today with Learning object-oriented programming in C♯ 5.0, a refreshingly helpful guide to developing with C♯.'--

Modern C++ Programming Cookbook by Marius Bancila Explore the most important language and library features of C++17, including containers, algorithms, regular expressions, threads, and more,Get going with unit testing frameworks Boost.Test, Google Test and Catch,Extend your C++ knowledge and take your development skills to new heights by making your applications fast, robust, and scalable.Who This Book Is ForIf you want to overcome difficult phases of development with C++ and leverage its features using modern programming practices, then this book is for you. The book is designed for both experienced C++ programmers as well as people with strong knowledge of OOP concepts.What You Will LearnUnderstand the standard support for threading and concurrency and learn how to put them to work on daily basic tasksLook in depth at the C++17 filesystem libraryWork with various types of string and look at the various aspects of compilationExplore functions, lambda expressions and callable objects with a focus on modern featuresLeverage the standard library and work with containers, algorithms, and iterators I/O, time and utilitiesSolve text searching and replacement problems using regular expressionsUse the new utility additions to the standard library to solve common problems developers encounter, including string_view, any, optional, and variant typesExplore the widely-used testing frameworks for C++ and implement various useful patterns and idiomsIn DetailC++ is one of the oldest and most widely used programming languages. Fast, efficient, and flexible, it is used to solve many problems. The latest versions of C++ have seen programmers change the way they code, giving up on the old-fashioned C-style programming and adopting modern C++ instead.Beginning with the modern language features, each recipe addresses a specific problem, with a discussion that explains the solution and offers insight into how it works. You will learn about concepts such as concurrency, variadic templates, lambda expressions, regular expressions, streams and filesystem utilities, algorithms and iterators, move semantics and performance, exception handling, testing, and more in the form of recipes. These recipes will ensure you can make your applications secure and fast.By the end of the book, you will understand the newer aspects of C++ 11/14/17 and will be able to overcome tasks that are time-consuming or would break your stride while developing.

Qt5 C++ GUI Programming Cookbook by Lee Zhi Eng Learn to make use of Qt5 to design and customize the look-and-feel of your applicationImprove the visual quality of your application by utilizing the graphic rendering system and animation system provided by Qt5A good balance of visual presentation and its contents will make an application appealing yet functionalWho This Book Is ForThis book intended for those who want to develop software using Qt5. If you want to improve the visual quality and content presentation of your software application, this book will suit you best.What You Will LearnCustomize the look and feel of your application using the widget editor provided by Qt5Change the states of the GUI elements to make them appear in a different formAnimating the GUI elements using the built-in animation system provided by Qt5Draw 3D graphics in your application by implementing OpenGL, an industry-standard graphical library, in your projectBuild a mobile app that supports touch events and export it to your deviceParse and extract data from an XML file, then present it on your software's GUIAccess MySQL and SQLite databases to retrieve data and display it on your software's GUIIn DetailWith the advancement of computer technology, the software market is exploding with tons of software choices for the user, making their expectations higher in terms of functionality and the look and feel of the application. Therefore, improving the visual quality of your application is vital in order to overcome the market competition and stand out from the crowd.This book will teach you how to develop functional and appealing software using Qt5 through multiple projects that are interesting and fun. This book covers a variety of topics such as look-and-feel customization, GUI animation, graphics rendering, implementing Google Maps, and more. You will learn tons of useful information, and enjoy the process of working on the creative projects provided in this book.