Kompilatorer

This book constitutes the thoroughly refereed post-proceedings of the International Symposium on Objects and Databases held in conjunction with ECOOP 2000 in Sophia Antipolis, …

This book constitutes the refereed proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2011, held in Austin, TX, …

The Ada Generic Library provides an extensive well-documented library of generic packages whose use can substantially increase software productivity and reliability. Professional …

Seit etwa zwei Jahren setzen die unterschiedlichsten Anwender in Hochschule und Industrie zur parallelen Datenverarbeitung in steigendem Maß Transputer ein. Der besondere Reiz …

Take a firsthand tour of Xcode and all the latest features Swift 3 has to offer.  If you have picked up this book, chances are you know a little bit about Swift Programming. With …

The microcomputer has put a vast amount of computational power in the hands of the practicing chemical engineer. However, a microcomputer is of little use unless there are programs …

Alphard is a design for a programming system that supports the abstraction and verification techniques required by modern program'ming methodology. During the language design …

Parsing, the syntactic analysis of language, has been studied extensively in computer science and computational linguistics. Computer programs and natural languages share an …

This book constitutes the refereed proceedings of the 2nd International Conference on Model and Data Engineering, MEDI 2012, held in Poitiers, France, in October 2012. The 12 …

Automatic code generation is an essential cornerstone of model-driven approaches to software development. Currently, lots of techniques are available that support the specification …