Become a more productive programmer by leveraging the newest features available to you in C#. This book highlights the new language features available to you and how to use these and other tools such as Bootstrap, SCSS, and jQuery to enhance your web applications. Exploring Advanced Features in C# starts with some of the new features of C# 7 such as how to implement local functions, tuples and generalized async return types. The book also looks at C# 8, where the author demonstrates how to impl...
Discover the difference between making a robot move and making a robot think. Using Mindstorms EV3 and LeJOS—an open source project for Java Mindstorms projects—you’ll learn how to create Artificial Intelligence (AI) for your bot. Your robot will learn how to problem solve, how to plan, and how to communicate. Along the way, you’ll learn about classical AI algorithms for teaching hardware how to think; algorithms that you can then apply to your own robotic inspirations. If you’ve ever wanted to...
Algebraic Specifications in Software Engineering
by Ivo van Horebeek and Johan Lewi
"I prefer to view formal methods as tools. the use of which might be helpful." E. W. Dijkstra Algebraic specifications are about to be accepted by industry. Many projects in which algebraic specifications have been used as a design tool have been carried out. What prevents algebraic specifications from breaking through is the absence of introductory descriptions and tools supporting the construction of algebraic specifications. On the one hand. interest from industry will stimulate people to mak...
Ant is the premier build-management tool for Java environments. Ant is part of Jakarta, Sun's open source reference implementation for the J2EE specification, is written entirely in Java, and is platform independent. Using XML, a Java developer describes the modules involved in a build, and the dependencies between those modules. Ant then does the rest, compiling components as necessary in order to build the application. Using Ant, Java developers can: define build chunks, the results that they...
Programming Languages and Systems (Lecture Notes in Computer Science, #13240)
This open access book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April 5-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 21 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
This open access book is a modern guide for all C++ programmers to learn Threading Building Blocks (TBB). Written by TBB and parallel programming experts, this book reflects their collective decades of experience in developing and teaching parallel programming with TBB, offering their insights in an approachable manner. Throughout the book the authors present numerous examples and best practices to help you become an effective TBB programmer and leverage the power of parallel systems. Pro TBB st...
Unifying Theories of Programming (Theoretical Computer Science and General Issues, #7681)
This book constitutes the refereed proceedings of the 4th International Symposium on Unifying Theories of Programming, UTP 2012, held in Paris, France, in August 2012, co-located with the 18th International Symposium on Formal Methods, FM 2012. The 8 revised full papers presented together with 2 invited talks and one invited lecture were carefully reviewed and selected from 13 submissions.
This book will enable readers to become proficient in dBase programming, using the Clipper compiler from Nantucket. Most other titles cover the old versions of Clipper - this one is completely up-to-date. It assumes some knowledge of dBase and a little familiarity with BASIC or C. After a background to Clipper usage, the author shows how to design complete applications and, for more advanced users, how to add functions written in C or assembler, to include interrupts and graphs. Limitations and...
Master functions and discover how to write functional programs in R. In this concise book, you'll make your functions pure by avoiding side-effects; you’ll write functions that manipulate other functions, and you’ll construct complex functions using simpler functions as building blocks. In Functional Programming in R, you’ll see how we can replace loops, which can have side-effects, with recursive functions that can more easily avoid them. In addition, the book covers why you shouldn't use recur...
It’s not enough to just build your Arduino projects; it’s time to actually learn how things work! This book will take you through not only how to use the Arduino software and hardware, but more importantly show you how it all works and how the software relates to the hardware. Arduino Software Internals takes a detailed dive into the Arduino environment. We’ll cover the Arduino language, hardware features, and how makers can finally ease themselves away from the hand holding of the Arduino envir...
Die Fachtagungen, die der Fachausschuß 2 PROGRAMMIERSPRACH~N der Gesellschaft für Informatik*) seit 1971 regelmäßig, nunmehr zum sechsten Mal, veranstaltet und in Ta gungsbänden dokumentiert, geben Zeugnis von dem jeweiligen Selbst-Verständnis des Faches PROGRAMMIERSPRACHEN, zumindest aus der Sicht einiger seiner Repräsentanten und der Vortragenden. Die 6. Fachtagung, die am 11. und 12. März 1980 in Darmstadt stattfindet, spielt darin sicherlich keine Sonderrolle. Es wurde diesmal eine breitere...
Supercomputer ’90 (Informatik-Fachberichte / Subreihe Kunstliche Intelligenz, #250)
Dieser Band enthält alle Hauptvorträge des fünften Mannheimer Seminars über Supercomputer. Das als führende Veranstaltung zu dieser Thematik im deutschsprachigen Raum anerkannte Seminar versammelte wiederum Supercomputer-Anwender, -Betreiber und -Hersteller zu einem fruchtbaren Dialog und Erfahrungsaustausch. Es wurden insbesondere die neuesten Entwicklungen dieses stark innovativen Gebiets unter anwendungsbezogenen, praktischen Aspekten aufgearbeitet. Die Schwerpunkte des diesjährigen Seminars...
On Object-Oriented Database Systems (Topics in Information Systems)
Object-oriented database systems have been approached with mainly two major intentions in mind, namely to better support new application areas including CAD/CAM, office automation, knowledge engineering, and to overcome the `impendance mismatch' between data models and programming languages. This volume gives a comprehensive overwiew of developments in this flourishing area of current database research. Data model and language aspects, interface and database design issues, architectural and impl...
The second half of the 1970s was marked with impressive advances in array/vector architectures and vectorization techniques and compilers. This progress continued with a particular focus on vector machines until the middle of the 1980s. The major ity of supercomputers during this period were register-to-register (Cray 1) or memory-to-memory (CDC Cyber 205) vector (pipelined) machines. However, the increasing demand for higher computational rates lead naturally to parallel comput ers and softwa...
Heute sind es Computer und Handys, die miteinander vernetzt sind und den Informationszugriff immer und überall ermöglichen. Schon bald aber lassen sich kleinste, billige und über Funk miteinander kommunizierende Prozessoren und Sensoren in fast beliebige Dinge einbauen. "Smarte" Alltagsgegenstände können dann ihre Umgebung erfassen, haben Zugriff auf beliebige Ressourcen im Internet und wissen, wo sie sind und wer in der Nähe ist. Wie aber leben wir in einer solchen total informatisierten und ve...
Software Engineering in C (Springer Books on Professional Computing)
by Peter A. Darnell and Philip E. Margolis
The author starts with the premise that C is an excellent language for software engineering projects. The book con- centrates on programming style,particularly readability, maintainability, and portability. Documents the proposed ANSI Standard, which is expected to be ratified in 1987. This book is designed as a text for both beginner and inter- mediate-level programmers.
Parsing Schemata (Texts in Theoretical Computer Science. An EATCS)
by Klaas Sikkel
Parsing, the syntactic analysis of language, has been studied extensively in computer science and computational linguistics. Computer programs and natural languages share an underlying theory of formal languages and require efficient parsing algorithms. This introduction reviews the theory of parsing from a novel perspective. It provides a formalism to capture the essential traits of a parser that abstracts from the fine detail and allows a uniform description and comparison of a variety of pars...
Multi-Threaded Object-Oriented MPI-Based Message Passing Interface: The ARCH Library presents ARCH, a library built as an extension to MPI. ARCH relies on a small set of programming abstractions that allow the writing of well-structured multi-threaded parallel codes according to the object-oriented programming style. ARCH has been written with C++. The book describes the built-in classes, and illustrates their use through several template application cases in several fields of interest: D...