Kompilatorer og fortolkere

Dieser Band enthalt alle Hauptvortrage des funften Mannheimer Seminars uber Supercomputer. Das als fuhrende 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 diesjahrigen Seminars waren: - Anwendungen in Industrie und Wissenschaft - Parallelrechner-Architekturen - Supercomputer Management. Dabei standen bei den Architekturen besonders die auf dem MIMD-Prinzip basierenden lokalen Speichersysteme von SUPRENUM, Parsytec, iP-Systems in Intel Scientific Computers im Mittelpunkt des Interesses. In einem "e;Supercomputer Manager Round Table"e; wurden aktuelle Probleme bei Planung, Beschaffung und Einsatz dieser Gerate von ausgewahlten Experten diskutiert. Die zugehorigen Positionsbeitrage sind ebenfalls in diesem Band enthalten.

Das vorliegende Buch ist eine Einfuhrung in die wesentlichen Problembereiche der KI-Programmierung. Dabei dienen Sprachentwicklung, -implementierung und -benutzung als neuartige einheitliche Sichtweise. Die Grundidee ist, da jedem Problem ein angepates Verarbeitungsmodell (eine abstrakte Maschine) entspricht, das gefunden und mit Hilfe einer zugeordneten Programmiersprache operabel gemacht werden kann. Programmiersprachen konnen jedoch auch uminterpretiert werden, indem ihnen konzeptionell ein neues Verarbeitungsmodell zugrundegelegt wird. Diese Ausdrucksvielfalt fuhrt zu verschiedenen "e;Programmierstilen"e;. Um den angehenden KI-Programmierer zu befahigen, mit KI-Programmiersprachen (Wissensreprasentationsformalismen) umzugehen, sie zu verstehen und zu implementieren, wird eine Reihe von etablierten bzw. zeitweise wichtigen Sprachen dargestellt. Das Besondere an diesem Sprachspektrum ist die Vielfalt der Verarbeitungsmodelle, auf denen die Sprachen beruhen, und die Unterschiedlichkeit der Programmierstile, denen der Programmierer folgen kann. Im vorliegenden 1. Band werden Funktions-, Muster-, Operator- und Logik-orientierte Formen der Programmierung behandelt und an einem durchgehenden Problembeispiel vorgestellt. Im 2. Band werden moderne Konzepte und Methoden im Vordergrund stehen.

Ob auf dem Computer, Tablet, Handy, im Auto oder in der Kaffeemaschine ¿ Computerprogramme bestimmen unseren Alltag. Software wird immer wichtiger, kaum noch etwas funktioniert ohne die geheimnisvolle Macht der Algorithmen. Aber wie funktionieren Programme? Und wie entwickelt man sie? Dieses Buch vermittelt Ihnen anschaulich das Einmaleins des Programmierens. Anhand von Alltagsbeispielen lernen Sie zunächst die Grundkonzepte des Programmierens kennen, die in allen Programmiersprachen ähnlich sind. Auf Basis dieser Grundideen erlernen Sie dann auf systematische Weise und mit vielen praktischen Übungen zwei populäre und sehr nützliche Programmiersprachen, Python und JavaScript, die Sie für ein breites Spektrum an unterschiedlichen Aufgaben einsetzen können.Das Buch richtet sich an Programmieranfänger aller Altersklassen (vom Schüler bis zum Berufstätigen), die bisher keinerlei Programmiererfahrung besitzen.Zusätzliche Fragen per App: Laden Sie die Springer Nature Flashcards-App kostenlos herunter und nutzen Sie exklusives Zusatzmaterial als Printbuchkäufer, um Ihr Wissen zu prüfen.

This book constitutes the refereed proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP '97, held in Bologna, Italy, in July 1997. ICALP '97 celebrated the 25th anniversary of the European Association for Theoretical Computer Science (EATCS), which has sponsored the ICALP meetings since 1972.The volume presents 73 revised full papers selected from a total of 197 submissions. Also included are six invited contributions. ICALP is one of the few flagship conferences in the area. The book addresses all current topics in theoretical computer science.

In this 100-page book, you will find that Stripes provides a very simple learning path, where you do not need to understand the entire framework in order to use it. The concept of this book is exactly that - to get you using the framework and writing code immediately. You will be off and running in no time, and adding to your skill set as we progress.This book is written with exactly that learning method in mind. No filler, no empty explanations... just code. You won't be driving solo, however. Each code example is heavily annotated with comments and tips, so that you not only understand each snippet, but can also dive deeper if you so choose.Stripes is a web framework for the Java programming language. It was initially released in 2005 by Tim Fennell. Despite its growth and maturity, Stripes has always focused on two key principles: simplicity and ease of development. Stripes has also remained a solution for a single application tier: the web-layer. Its purpose is to handle the interaction between a web browser and server-side java code. To tie these concepts together Stripes makes heavy use of Java annotations, which we will see as we learn the various features of Stripes.

Migrating to Swift From Web Development gives you the ability to create native iOS apps using the latest Swift programming language. Starting with preparing your latest Xcode 6 Integrated Development Environment and introducing just enough iOS application framework fundamentals, you'll understand how to create a simple but meaningful Hello Swift application for iOS 8 immediately.After the short IDE setup guide, this book will show you how to structure your iOS project from an existing mobile web app. Every topic comes with a tutorial project that you will create by yourself. You'll plan and structure your iOS apps using Xcode Storyboard, implementing use cases with detailed screens, and learn about managing data and working with remote services. Finally, you'll experience a recap of the whole porting process by translating a mobile web app to iOS 8 from start to end. When you finish reading Migrating to Swift from Web Development, you'll be an iOS developer as well as a front-end web developer.

MATLAB Mathematical Analysis is a reference book that presents the techniques of mathematical analysis through examples and exercises resolved with MATLAB software. The purpose is to give you examples of the mathematical analysis functions offered by MATLAB so that you can use them in your daily work regardless of the application. The book supposes proper training in the mathematics and so presents the basic knowledge required to be able to use MATLAB for calculational or symbolic solutions to your problems for a vast amount of MATLAB functions.The book begins by introducing the reader to the use of numbers, operators, variables and functions in the MATLAB environment. Then it delves into working with complex variables. A large section is devoted to working with and developing graphical representations of curves, surfaces and volumes. MATLAB functions allow working with two-dimensional and three-dimensional graphics, statistical graphs, curves and surfaces in explicit, implicit, parametric and polar coordinates. Additional work implements twisted curves, surfaces, meshes, contours, volumes and graphical interpolation.The following part covers limits, functions, continuity and numerical and power series. Then differentiation is addressed in one and several variables including differential theorems for vector fields. Thereafter the topic of integration is handled including improper integrals, definite and indefinite integration, integration in multiple variables and multiple integrals and their applications.Differential equations are exemplified in detail, Laplace transforms, Tayor series, and the Runga-Kutta method and partial differential equations.

MATLAB is a high-level language and environment for numerical computation, visualization, and programming. Using MATLAB, you can analyze data, develop algorithms, and create models and applications. The language, tools, and built-in math functions enable you to explore multiple approaches and reach a solution faster than with spreadsheets or traditional programming languages, such as C/C++ or Java.Programming MATLAB for Numerical Analysis introduces you to the MATLAB language with practical hands-on instructions and results, allowing you to quickly achieve your goals. You will first become familiar with the MATLAB environment, and then you will begin to harness the power of MATLAB. You will learn the MATLAB language, starting with an introduction to variables, and how to manipulate numbers, vectors, matrices, arrays and character strings. You will learn about MATLAB's high-precision capabilities, and how you can use MATLAB to solve problems, making use of arithmetic, relational and logical operators in combination with the common functions and operations of real and complex analysis and linear algebra. You will learn to implement various numerical methods for optimization, interpolation and solving non-linear equations. You will discover how MATLAB can solve problems in differential and integral calculus, both numerically and symbolically, including techniques for solving ordinary and partial differential equations, and how to graph the solutions in brilliant high resolution. You will then expand your knowledge of the MATLAB language by learning how to use commands which enable you to investigate the convergence of sequences and series, and explore continuity and other analytical features of functions in one and several variables.

This Festschrift volume includes a collection of papers written in honor of the accomplishments of Professor Yonezawa on the occasion of his 65th birthday in 2012. With a few exceptions, the papers in this Festschrift were presented at an international symposium celebrating this occasion. Also included are reprints of two of Professor Yonezawa's most influential papers on the programming language ABCL. The volume is a testament strong and lasting impact Professor Yonezawa's research accomplishments as well as the inspiration he has been to colleagues and students alike.

This book constitutes the refereed proceedings of the 6th International Symposium on Search-Based Software Engineering, SSBSE 2014, held in Fortaleza, Brazil.The 14 revised full papers presented together with 2 keynote addresses, 1 invited talk, 1 short paper, 3 papers of the graduate track, and 4 challenge track papers were carefully reviewed and selected from 51 submissions. Search Based Software Engineering (SBSE) studies the application of meta-heuristic optimization techniques to various software engineering problems, ranging from requirements engineering to software testing and maintenance.

Constraint programming is like an octopus spreading its tentacles into databases, operations research, artificial intelligence, and many other areas. The concept of constraint programming was introduced in artificial intelligence and graphics in the 1960s and 1970s. Now the related techniques are used and studied in many fields of computing. Different aspects of constraint processing are investigated in theoretical computer science, logic programming, knowledge representation, operations research, and related application domains. Constraint programming has been included in the lists of related topics of many conferences. Nevertheless, only in 1993 were the first forums held, devoted as a whole to this field of knowledge. These were the First Workshop on Principles and Practice of Constraint Programming (PPCP'93) which was held in Newport, Rhode Island, USA, April 28-30, the International Workshop on Constraint Processing (at CSAM'93) held in St. Petersburg, Russia, July 20-21, and the NATO Advanced Study Institute (NATO AS!) on Constraint Programming held in Parnu, Estonia, August 13-24. NATO A Sis are aimed to be schools bringing together leading researchers and practitioners from industry and academia in some area of knowledge to provide a concise picture of the work done and results obtained by different groups. This is intended for dissemination of advanced knowledge not yet taught regularly in of new topics university. However, ASis must also encourage the introduction into university curricula as well as foster international scientific contacts.

This Festschrift volume, published in honor of Brian Randell on the occasion of his 75th birthday, contains a total of 37 refereed contributions. Two biographical papers are followed by the six invited papers that were presented at the conference 'Dependable and Historic Computing: The Randell Tales', held during April 7-8, 2011 at Newcastle University, UK. The remaining contributions are authored by former scientific colleagues of Brian Randell.The papers focus on the core of Brian Randell's work: the development of computing science and the study of its history. Moreover, his wider interests are reflected and so the collection comprises papers on software engineering, storage fragmentation, computer architecture, programming languages and dependability. There is even a paper that echoes Randell's love of maps.After an early career with English Electric and then with IBM in New York and California, Brian Randell joined Newcastle University. His main research has been on dependable computing in all its forms, especially reliability, safety and security aspects, and he has led several major European collaborative projects.

This book constitutes the refereed proceedings of the 12th International Conference on Software Reuse, ICSR 2011, held in Pohang, South Korea, in June 2011. The 16 revised full papers were carefully reviewed and selected from 43 submissions. They are presented together with one keynote, three workshop papers, a doctoral symposium report and two tutorials. Topics of interest are domain analysis and modeling; asset search and retrieval; architecture-centric approaches to reuse; component-based reuse; COTS-based development; generator-based techniques; domain-specific languages; testing in the context of software reuse; aspect-oriented techniques; model-driven development; reuse of non-code artifacts; reengineering for reuse; software product line techniques; quality-aspects of reuse; economic models of reuse; benefit and risk analysis, scoping; legal and managerial aspects of reuse; transition to software reuse; industrial experience with reuse; light-weight approaches; software evolution and reuse.

An introductory course in Software Engineering remains one of the hardest subjects to teach. Much of the difficulty stems from the fact that Software Engineering is a very wide field which includes a wide range of topics. Con­ sequently, what should be the focus of an introductory course remains a challenge with many possible viewpoints. This third edition of the book approaches the problem from the perspec­ tive of what skills a student should possess after the introductory course, particularly if it may be the only course on software engineering in the stu­ dent's program. The goal of this third edition is to impart to the student knowledge and skills that are needed to successfully execute a project of a few person-months by employing proper practices and techniques. In- dently, a vast majority of the projects executed in the industry today are of this scope¿executed by a small team over a few months. Another objective of the book is to lay the foundation for the student for advanced studies in Software Engineering. Executing any software project requires skills in two key dimensions¿ engineering and project management. While engineering deals with issues of architecture, design, coding, testing, etc., project management deals with planning, monitoring, risk management, etc. Consequently, this book fo­ cuses on these two dimensions, and for key tasks in each, discusses concepts and techniques that can be applied effectively on projects.

Dieses Werk befasst sich mit Theorie und Praxis der modernen Funktionalen Programmierung. Dabei geht es vor allem um Fragen des Sprachdesigns und der zugehörigen Programmiertechniken. Viele der behandelten Konzepte weisen aber weit über die Funktionalen Sprachen hinaus, weil sie für alle Arten von Programmiersprachen relevant sind.Im Vordergrund stehen die Ideen und Techniken einer eleganten, sicheren und produktiven Form der Programmierung, die heute in Sprachen wie ML, HASKELL oder OPAL schon weitgehend möglich sind. Die Autoren gehen aber über den Rahmen der heute verfügbaren Sprachen hinaus und präsentieren Konzepte und Methoden, die erst in den Sprachen der nächsten Generation verfügbar sein werden. Die konkret behandelten Themen sind vielschichtig: Zum einen werden fortgeschrittene Programmiertechniken vorgestellt, wie z.B. die Verwendung unendlicher Datenstrukturen, Parser als Funktionen höherer Ordnung, die Lösung von Gleichungssystemen durch Fixpunktbildung usw. Es wird gezeigt, dass sich damit vielfältige Arten von Problemen auch aus der Numerischen Mathematik kompakt und elegant lösen lassen.Es werden aber auch fortgeschrittene Sprachkonzepte diskutiert, wie z.B. systematische Modularisierung oder besonders ausdrucksstarke und flexible Formen der Typisierung. Besonderes Gewicht legt das Buch auf die Integration der Funktionalen Programmierung mit den Paradigmen der objektorientierten, der nebenläufigen und der parallelen Programmierung. In diesem Zusammenhang wird speziell auch die Bedeutung von Monaden analysiert und kritisch hinterfragt.Das Buch wendet sich an Leser, die bereits Grundkenntnisse in der Funktionalen Programmierung besitzen und jetzt ihre Programmierfertigkeit verbessern möchten und tiefer in die theoretischen Grundlagen vordringen wollen.

In any serious engineering discipline, it would be unthinkable to construct a large system without having a precise notion of what is to be built and without verifying how the system is expected to function. Software engineering is no different in this respect.Formal methods involve the use of mathematical notation and calculus in software development; such methods are difficult to apply to large-scale systems with practical constraints (e.g., limited developer skills, time and budget restrictions, changing requirements). Here Liu claims that formal engineering methods may bridge this gap. He advocates the incorporation of mathematical notation into the software engineering process, thus substantially improving the rigor, comprehensibility and effectiveness of the methods commonly used in industry.This book provides an introduction to the SOFL (Structured Object-Oriented Formal Language) method that was designed and industry-tested by the author. Written in a style suitable for lecture courses or for use by professionals, there are numerous exercises and a significant real-world case study, so the readers are provided with all the knowledge and examples needed to successfully apply the method in their own projects.

ThisvolumecontainstheproceedingsofFM2003,the12thInternationalFormal Methods Europe Symposium which was held in Pisa, Italy on September 8-14, 2003. Formal Methods Europe (FME, www. fmeurope. org) is an independent - sociation which aims to stimulate the use of and research on formal methods for system development. FME conferences began with a VDM Europe symposium in 1987. Since then, the meetings have grown and have been held about once - ery 18 months. Throughout the years the symposia have been notably successful in bringing together researchers, tool developers, vendors, and users, both from academia and from industry. Unlike previous symposia in the series, FM 2003 was not given a speci?c theme. Rather, its main goal could be synthesized as "widening the scope. " Indeed, the organizers aimed at enlarging the audience and impact of the symposium along several directions. Dropping the su?x 'E' from the title of the conference re?ects the wish to welcome participation and contribution from every country; also,contributionsfromoutsidethetraditionalFormalMethodscommunitywere solicited. The recent innovation of including an Industrial Day as an important part of the symposium shows the strong commitment to involve industrial p- ple more and more within the Formal Methods community. Even the traditional and rather fuzzy borderline between "software engineering formal methods" and methods and formalisms exploited in di?erent ?elds of engineering was so- what challenged.