Compilers and interpreters

Modern X86 Assembly Language Programming shows the fundamentals of x86 assembly language programming.

The third edition of this textbook has been fully revised and adds material about the SSA form, polymorphism, garbage collection, and pattern matching.

"e;Specification and transformation of programs"e; is short for a methodology of software development where, from a formal specification of a problem to be solved, programs correctly solving that problem are constructed by stepwise application of formal, semantics-preserving transformation rules.

This book constitutes the refereed proceedings of the 22nd International Symposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018.

PASCAL-XSC (PASCAL-eXtension for Scientific Computation) ist eine Erweiterung der weitverbreiteten Programmiersprache PASCAL.

Object-orientation and the need for multi-paradigmatic systems constitute a challenge for researchers, practitioners and instructors.

A carefully paced introduction to programming in the C language, this book assumes only a limited previous knowledge of computers and programming.

Learn to use the APIs and frameworks for parallel and concurrent applications in Haskell.

Learn how to be successful in adopting Agile and see good and bad examples of how Agile can be adopted.

Dieses Buch, in dessen Titel sich "Einführung in die Programmierung" und "Programmierung mit Modula-2" verbinden, wendet sich sowohl an den Programmieranfänger, als auch an den erfahrenen Programmierer, der die Sprache Modula-2 erlernen will.

Incorporate the assembly language routines in your high level language applicationsKey FeaturesUnderstand the Assembly programming concepts and the benefits of examining the AL codes generated from high level languagesLearn to incorporate the assembly language routines in your high level language applicationsUnderstand how a CPU works when programming in high level languagesBook DescriptionThe Assembly language is the lowest level human readable programming language on any platform.

Get hands-on experience with each Gang of Four (GoF) design pattern using C#.

Learn how Roslyn's new code generation capability will let you write software that is more concise, runs faster, and is easier to maintain.

Build Android apps using the popular and efficient Android Studio 3 suite of tools, an integrated development environment (IDE) with which Android developers can now use the Kotlin programming language.

This clearly written textbook provides an accessible introduction to the three programming paradigms of object-oriented/imperative, functional, and logic programming.

Learn applied numerical computing using the C programming language, starting with a quick primer on the C programming language and its SDK.

Develop and use bots in video gaming to automate game processes and see possible ways to avoid this kind of automation.

Take your distributed applications to the next level and see what the reference architectures associated with microservices can do for you.

This book constitutes the refereed proceedings of the 16th International Conference on Software Engineering and Formal Methods, SEFM 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.

This Festschrift volume is published in honor of Catherine A.

This book constitutes the refereed proceedings of the International Workshop on Software Engineering for Resilient Systems, SERENE 2017, held in Geneva; Switzerland, in September 2017.

If you’re new to C++ but understand some basic programming, then Learn C++ for Game Development lays the foundation for the C++ language and API that you’ll need to build game apps and applications.

This book is the first definitive reference for the Clojure language, providing both an introduction to functional programming in general and a more specific introduction to Clojure's features.

This book constitutes the proceedings of the 16th International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2019, held in Thessaloniki, Greece, in June 2019.

Computer-Aided Reasoning: ACL2 Case Studies illustrates how the computer-aided reasoning system ACL2 can be used in productive and innovative ways to design, build, and maintain hardware and software systems.

Get the most out of asyncio and find solutions to your most troubling Python programming problems.

This book constitutes the refereed proceedings of the 17th International Conference on Runtime Verification, RV 2017, held in Seattle, WA, USA, in September 2017.

Developing computer games is a perfect way to learn how to program in modern programming languages.

Move from zero knowledge of programming to comfortably writing small to medium-sized programs in Python.

Explore Vue.

Why Read This Book?

This book constitutes the refereed proceedings of the 6th International Symposium on NASA Formal Methods, NFM 2014, held in Houston, TX, USA, April 29 - May 1, 2014.

Quickly gain the insight necessary to address a multitude of Java-based Spring Framework and Spring Boot coding challenges using this succinct reference guide.

Familiarize yourself with Octave using this concise, practical tutorial that is focused on writing code to learn concepts.

Learn C++ the quick, easy, and "e;lazy"e; way.

As today's most complex computing environment, the Internet confronts IT researchers, system designers, and application developers with completely new challenges and, as a fascinating new computing paradigm, agent technology has recently attracted broad interest and strong hopes for shaping the future information society.

This book constitutes the refereed proceedings of the 8th International Symposium on Search-Based Software Engineering, SSBSE 2016, held in Raleigh, NC, USA, in October 2016.

Learn fromstate-of-the-art examples in robotics, motors, detection filters, chemicalprocesses, aircraft, and spacecraft.

This book constitutes the refereed proceedings of the 23rd International Conference on Runtime Verification, RV 2023, held in Thessaloniki, Greece, during October 3-6, 2023.

Precise descriptions and instructions enable users, students and consultants to understand MS Dynamics AX 2012 rapidly.

Language, Compilers and Run-time Systems for Scalable Computers contains 20 articles based on presentations given at the third workshop of the same title, and 13 extended abstracts from the poster session.