Kategoria BISAC: Computers >> Programming - Compilers

Originally published in 1981, this was the first textbook on programming in the Prolog language and is still the definitive introductory text on Prolog. Though many Prolog textbooks have been published since, this one has withstood the test of time because of its comprehensiveness, tutorial approach, and emphasis on general programming applications.

Prolog has continued to attract a great deal of interest in the computer science community, and has turned out to be a basis for an important new generation of programming languages and systems for Artificial Intelligence. Since the...

This concise and easy-to read textbook provides an accessible introduction to the most important features of Fortran 2008 (also known as Fortran 08), the latest standard version of Fortran. Both the style of the many example programs and the selection of topics discussed in detail guide the reader toward acquiring programming skills to produce Fortran programs that are readable, maintainable, and efficient. The text is organized for instruction from beginning to end, but also so that particular topics may be studied and read independently--making the work eminently suitable as a reference...

This book constitutes contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 comprises contributions from the proceedings originally foreseen for ISoLA 2020 collected in 4 volumes, LNCS 12476: Verification Principles, LNCS 12477: Engineering Principles, LNCS 12478: Applications, and LNCS 12479: Tools and Trends.

The contributions included in this volume were organized in the following topical sections: 6^th International School on Tool-Based Rigorous Engineering of Software Systems; Industrial Track; Programming: What is Next; Software...

Die "Notizen zu C++" richten sich an den erfahrenen C++ Software-Entwickler. Sie erlautern fur zahlreiche komplexe Problemstellungen, die sich dem Software-Entwickler bei der taglichen Arbeit stellen, wie die optimale Losung aussieht. Dazu wird in praziser und kompakter Form erklart, warum der aufgezeigte Weg optimal ist. Die jeweils vorgeschlagene Losung wird an Code-Beispielen fundiert umgesetzt. Oft munden die Schlussfolgerungen in einem pragnanten Merksatz, der dann auch die Uberschrift des entsprechenden Kapitels bildet. Der Aufbau dieses Werkes ist den Bedurfnissen von...