Compilers and interpreters

Multi-agent systems are already a focus of studies for more than 25 years.

This book constitutes the refereed proceedings of the 15th International Conference on Software Reuse, ICSR 2016, held in Limassol, Cyprus, in June 2016.

The control-flow issues presented in this textbook are extremely relevant in modern computer languages and programming styles.

Declarative programming languages are based on sound mathematical foundations which means that they offer many advantages for software development.

Learn how to make better decisions and write cleaner Ruby code.

Learn how to build playgrounds so you can test your code, syntax, and ideas quickly.

Implement practical data structures and algorithms for text search and discover how it is used inside other larger applications.

This book constitutes the refereed proceedings of the 29th IFIP WG 6.

This book takes a formal approach to teaching software engineering, using not only UML, but also Object Constraint Language (OCL) for specification and analysis of designed models.

This book constitutes the refereed proceedings of the 5th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016, held in Tokyo, Japan, in November 2016.

Explore Raku problems and solutions using the latest version of the Raku programming language.

This book constitutes the proceedings of the 16th Asian Symposium on Programming Languages and Systems, APLAS 2018, held in Wellington, New Zealand, in December 2018.

This book constitutes the proceedings of the 18th International System Design Language Forum, SDL 2017, held in Budapest, Hungary, in October 2017.

This book constitutes the refereed proceedings of the 18th International Conference on Runtime Verification, RV 2018, held in Limassol, Cyprus, in November 2018.

This book constitutes the refereed proceedings of the 34th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2015, held in Delft, The Netherlands, in September 2014.

This book contains the thoroughly refereed technical papers presented in six workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2017, held in Marburg, Germany, in July 2017.

This book constitutes the proceedings of the 14th European Conference on Modelling Foundations and Applications, ECMFA 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.

This handbook is a definitive guide to the effective use of modern floating-point arithmetic, which has considerably evolved, from the frequently inconsistent floating-point number systems of early computing to the recent IEEE 754-2008 standard.

This tutorial volume includes the revised and extended tutorials (briefings) held at the 5th International Summer School on Grand Timely Topics in Software Engineering, GTTSE 2015, in Braga, Portugal, in August 2015.

C++ is the language behind most of today's computer games.

This book is concerned with language skills and language understanding rather than programming methodology.

This book constitutes the refereed proceedings of the 21st International Conference on Practical Aspects of Declarative Languages, PADL 2019, held in Lisbon, Portugal, in January 2019.

Learn how to automate unit tests of Python 3 with automation libraries, such as doctest, unittest, nose, nose2, pytest, and selenium.

Object-oriented systems have gained a great deal of popularity recently and their application to graphics has been very successful.

This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birthday.

This book constitutes the refereed proceedings of the XXIIIrd International Conference on AIxIA 2024 - Advances in Artificial Intelligence, AIxIA 2024, held in Bolzano, Italy, during November 25-28, 2024.

Automatic Re-engineering of Software Using Genetic Programming describes the application of Genetic Programming to a real world application area - software re-engineering in general and automatic parallelization specifically.

The advent of the world-wide web and web-based applications have dramatically changed the nature of computer applications.

This volume LNCS 11877 constitutes the refereed proceedings of the Confederated International Conferences: Cooperative Information Systems, CoopIS 2019, Ontologies, Databases, and Applications of Semantics, ODBASE 2019, and Cloud and Trusted Computing, C&TC, held as part of OTM 2019 in October 2019 in Rhodes, Greece.

This book constitutes the proceedings of the 20th International Conference on Coordination Models and Languages, COORDINATION 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018.

This book constitutes the proceedings of the 19th Brazilian Symposium on Progamming Languages, SBLP 2015, held in Belo Horizonte, Brazil, in September 2015.

Das Buch ist eine Einführung in die logische Programmierung in der Form eines Kurses, in dem die Grundlagen der logischen Programmierung, die logische Programmiersprache Prolog und ihre Programmierpraxis, sowie einige Anwendungen vorgestellt werden.

IloveBusinessIntelligence.

We have added new material to Chapter 3 to give an account of up-to-date programming techniques using accumulators and difference structures.

This book constitutes the refereed proceedings of the 15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2019, held in Belgrade, Serbia, in September 2019.

Effective compilers allow for a more efficient execution of application programs for a given computer architecture, while well-conceived architectural features can support more effective compiler optimization techniques.

By introducing the principles of programming languages, using the Java language as a support, Gilles Dowek provides the necessary fundamentals of this language as a first objective.

In Pro CDI 2 in Java EE 8, use CDI and the CDI 2.

Get up to speed with Clojure in this quick and practical primer.

This book constitutes the proceedings of the 25th International Symposium on Practical Aspects of Declarative Languages, PADL 2023, which was held in Boston, MA, USA, in January 2023.

This quick C++17 guide is a condensed code and syntax reference to the popular programming language, fully updated for C++17.

This text is an introduction to programming in general, and a manual for programming with the language Modula-2 in particular.

Take a deep dive into web development using the Go programming language to build web apps and RESTful services to create reliable and efficient software.

Explore machine learning in Rust and learn about the intricacies of creating machine learning applications.

Numericalcomputation, knowledge discovery and statistical data analysis integrated withpowerful 2D and 3D graphics for visualization are the key topics of this book.