Modular Compiler Verification (Lecture Notes in Computer Science, #1283)
by Markus Muller-Olm
This book presents the verified design of a code generator translating a prototypic real-time programming language to an actual microprocessor, the Inmos Transputer. Unlike most other work on compiler verification, and with particular emphasis on modularity, it systematically covers correctness of translation down to actual machine code, a necessity in the area of safety-critical systems. The formal framework provided as well as the novel proof-engineering ideas incorporated in the verified code...
Hochkonzentrierter und praxisorientierter Kurs zur "Veritas Storage Foundation": Storage Virtualisierung (Teil 1) erzeugt virtuelle Diskspeicher, die bei Kompatibilitat zu ihren physischen Gegenstucken beliebige Groessen einnehmen. Sicher und schnell gemacht, koennen sie ihre Eigenschaften im laufenden Betrieb dynamisch andern. Server Virtualisierung (Cluster Computing, Teil 2) erhoeht die Ausfallsicherheit und steigert die Performance. Seit der Verbreitung von 24h-Diensten ist sie aus keiner Fi...
An Introduction to Compiler Construction
by W. M. Waite and Lynn Robert Carter
This text is orientated towards actual construction of a compiler, rather than the theory underlying compiler construction. This hands-on approach allows students to write a complete compiler which translates a simple algorithmic language to the assembly code of a real computer. The book gives a consistent overall picture of the compiler construction problem, emphasizing the important sub-problems and providing systematic, intuitive approaches to solving them.
Algorithms, Languages, Automata, and Compilers: A Practical Approach
by Maxim Mozgovoy
This book describes, in detail, the benefits of using the AFS distributed file system in large and small organizations. By relieving administrators of inefficiencies of scale and allowing users to retrive files effectively from anywhere in their organization. This book demonstrates the power of using an integrated, fully functional, and centrally managed system to provide a ubiquitous and reliable data storage system. This book explains how to manage AFS to its greatest effect incuding the insta...
LLVM Techniques, Tips, and Best Practices Clang and Middle-End Libraries
by Min-Yih Hsu
Learn how you can build the next big programming language, compiler, or source code analyzer using LLVM and ClangKey FeaturesExplore Clang, LLVM’s middle-end and backend, in a pragmatic wayDevelop your LLVM skillset and get to grips with a variety of common use casesEngage with real-world LLVM development through various coding examplesBook DescriptionEvery programmer or engineer, at some point in their career, works with compilers to optimize their applications. Compilers convert a high-level p...
Take your distributed applications to the next level and see what the reference architectures associated with microservices can do for you. This book begins by showing you the distributed computing architecture landscape and provides an in-depth view of microservices architecture. Following this, you will work with CQRS, an essential pattern for microservices, and get a view of how distributed messaging works. Moving on, you will take a deep dive into Spring Boot and Spring Cloud. Coming back t...
After a short chapter on basic aspects of software engineering and its realization in Go, this book introduces to nonsequential and distributed programming with Go. It systematically presents basic concepts for the synchronization and communication of concurrent processes. These include locks, semaphores, fairness and deadlocks, monitors, local and network-wide message passing, networks as graphs, network exploration, distributed depth and breadth first search, and the selection of a leader in n...
ANNA A Language for Annotating Ada Programs (Lecture Notes in Computer Science, #260)
by David C. Luckham, Friedrich W. von Henke, Bernd Krieg-Brueckner, and Olaf Owe
This reference manual of ANNA is another volume addressed to the ADA community. ANNA is a language extension of ADA to include facilities for formally specifying the intended behavior of ADA programs. It is designed to meet a perceived need to augment ADA with precise machine-processable annotations so that well established formal methods of specification and documentation can be applied to ADA programs. The current ANNA design includes annotations of all ADA constructs except tasking. Similar e...
Advances in Database Technology - EDBT '92 (Lecture Notes in Computer Science, #580)
These are the proceedings of the third International conference on ExtendingDatabase Technology (EDBT) held in Vienna in March 1992. The success of the 1988 and 1990 conferences held in Venice suggested that there is room for a major international database conference in Europe every two years,to serve as a forum for presentation of new results in research, developmentand applications extending the state of the art in database technology. The 1992 EDBT conference has attract...
Optimal Interprocedural Program Optimization (Lecture Notes in Computer Science, #1428)
by Jens Knoop
Starting from the intraprocedural basic case, this monograph focuses on interprocedural optimization. It emphasizes the analogies and essential differences between intraprocedural and interprocedural optimization, and offers cookbook style support for constructing the underlying algorithms. It is aimed at compiler constructors and researchers interested in the systematic transfer of intraprocedural optimizations to the interprocedural setting, as well as students seeking a gentle introduction to...
Combinatorial Programming: Methods and Applications (NATO Science Series C, #19)
"Combinatorial Programming" are two words whose juxtaposition still strike us as unusual, nevertheless their association in recent years adequately reflects the preoccupations underlying differing work fields, and their importance will increase both from methodology and application view points. To those who like definitions and consider the function of this book to furnish one for combinatorial programming, I will simply say that it is precise ly this which is exclusively treated here and which...
Why would you read this preface? As we start thinking what to write here, we wonder who is going to read these words. Fromourperspective–thatofwritersaddressinganaudienceofreaders–you are most likely Willem-Paul de Roever. Willem: our main motivation in putting together this Festschrift is to honor you on the occasion of your retirement. In terms of scienti?c ancestry, you are a father to two of us, and a grandfather to 1 the third , and you have had a profound impact on our formation as compute...
Automata, Languages, and Programming (Lecture Notes in Computer Science, #172)
Implementations of Logic Programming Systems
In conjunction with the 1993 International Conference on Logic Programming (ICLP'93), held in Budapest Hungary, two workshops were held concerning the implementations of logic programming systems: Practical Implementations and Sys- tems Experience in Logic Programming Systems, and Concurrent, Distributed, and Parallel Implementations of Logic Programming Systems. This collection presents 16 research papers in the area of the implementation of logic programming systems. The two workshops aimed to...
Build domain specific languages (DSLs) using Java's most popular functional programming language: Scala. This book introduces the basics of Scala and DSLs using a series of practical examples. In Practical Scala DSLs, you’ll learn to create pragmatic and complete code examples that explain the actual use of DSLs with Scala: a web API and microservices; a custom language; a mobile app; a Forex system; a game; and cloud applications. At the end of this unique book, you’ll be able to describe the...
Learn programming using the Commodore 16/Plus 4 system. Following this book, you and your children will not only learn BASIC programming, but also have fun emulating a retro Commodore system. There are many ways to bring the fun of learning to program in the 1980s back to life. For example, downloading the VICE emulator to a Raspberry Pi allows for the classic “turn on and program” experience and also provides some retro computing project fun. Many parents learned programming in this same...
Get started with an accelerated introduction to the R ecosystem, programming language, and tools including R script and RStudio. Utilizing many examples and projects, this book teaches you how to get data into R and how to work with that data using R. Once grounded in the fundamentals, the rest of Practical R 4 dives into specific projects and examples starting with running and analyzing a survey using R and LimeSurvey. Next, you'll carry out advanced statistical analysis using R and MouselabWeb...
Explore the new Java programming language features and APIs introduced in Java 10 through Java 13. Java 13 Revealed is for experienced Java programmers looking to migrate to Java 13. Author Kishori Sharan begins by covering how to use local variable type inference to improve readability of your code and time-based release versioning of the Java platform to understand the Java release strategy. This book provides extensive coverage of the new HTTP Client APIs, which were introduced in Java 9 as...