Kategoria BISAC: Computers >> Programming - Compilers

Constitutes the refereed post-proceedings of the 21st International Workshop on Implementation and Applications of Functional Languages, IFL 2000, held in South Orange, NJ, USA, in September 2009.

The areas of natural language processing and computational linguistics have continued to grow in recent years, driven by the demand to automatically process text and spoken data. With the processing power and techniques now available, research is scaling up from lab prototypes to real-world, proven applications.

This book teaches the principles of natural language processing, first covering linguistics issues such as encoding, entropy, and annotation schemes; defining words, tokens and parts of speech; and morphology. It then details the language-processing functions involved,...

The contributors present the main results and techniques of their specialties in an easily accessible way accompanied with many references: historical, hints for complete proofs or solutions to exercises and directions for further research. This volume contains applications which have not appeared in any collection of this type. The book is a general source of information in computation theory, at the undergraduate and research level.

Das Buch ist eine Einfuhrung in die logische Programmierung in der Form eines Kurses, in dem die Grundlagen der logischen Programmierung, die logische Programmiersprache Prolog und ihre Programmierpraxis, sowie einige Anwendungen vorgestellt werden. Nach einer kurzen Begriffsbestimmung der logischen Programmierung wird das sogenannte reine Prolog als Programmiersprache anhand von Beispielen eingefuhrt. Die logischen Hintergrunde werden dabei nur angedeutet. Anschliessend werden die Erweiterungen vorgestellt, die Prolog zur vollen Programmiersprache machen. Es folgen etablierte...

Dieses Buch beschreibt die Programmiersprache Modula-2. Es wendet sich an Be nutzer, die Pascal kennen und darauf aufbauend Modula-2 lernen mochten. Das Buch gliedert sich in drei Teile. Teil 1 fuhrt in die Konzepte ein, die in Modu la-2 neu und demzufolge Pascal-Programmierern unbekannt sind. Teil 2 beschreibt Unterschiede zu Pascal. In Teil 3 werden Module definiert, die eine grundlegende Programmierumgebung bereitstellen. Der Anhang enthalt einen Glossar, Syntax diagramme, eine Liste der Wortsymbole, Sonderzeichen und Standardbezeichner, sowie eine Tabelle des ASCII-Zeichencodes. Man...

Das vorliegende Buch, das aus der Saarbrucker Dissertation des Verfassers entstanden ist, beschreibt ein konkretes System zur automatischen Generierung von Compilern. Das System ist fur die Anwendung in der Praxis konzipiert. Es werden die Entwurfskriterien, die zu dem System gefuhrt haben, und die vollstandige Realisierung des Generators dargestellt. Aus der Struktur und der Funktionsweise von Compilern werden die Komponenten eines Compiler-Generators abgeleitet. Die Generierungsverfahren und die zugrundeliegenden theoretischen Konzepte werden vorgestellt. Die Spezifikation einer...

The 23 papers presented together with 4 invited papers 2 system and tool presentations and 1 tutorial lecture were carefully reviewed and selected from 95 initial submissions. The papers are devoted to both foundational and practical issues in programming languages and systems and feature current research in the following areas: semantics, logics, foundational theory, design of languages and foundational calculi, type systems, compilers, interpreters, abstract machines, program derivation, analysis, transformation, software security, safety, verification, concurrency, constraints,...

This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Workshop on Agent-Oriented Software Engineering, AOSE 2009, held in Budapest, Hungary, in May 2009 as part of AAMAS 2009, the 8th International Conference on Autonomous Agents and Multiagent Systems. The 10 revised full papers presented were carefully selected from numerous initial submissions during two rounds of reviewing and improvement. The papers have been organized into three sections on multi-agent organizations, concrete development techniques, and - one step higher - going beyond the...

This manual describes a PASCAL extension for scientific computation with the short title PASCAL-XSC (PASCAL eXtension for Scientific Computation). The language is the result of a long term effort of members of the Institute for Applied Mathematics of Karlsruhe University and several associated scientists. PASCAL XSC is intended to make the computer more powerful arithmetically than usual. It makes the computer look like a vector processor to the programmer by providing the vector/matrix operations in a natural form with array data types and the usual operator symbols. Programming of...

The control-flow issues presented in this textbook are extremely relevant in modern computer languages and programming styles. In addition to the basic control-flow mechanisms, virtually all new computer languages provide some form of exceptional control flow to support robust programming introduced in this textbook. Also, concurrency capabilities are appearing with increasing frequency in both new and old programming languages, and are covered in this book.

Understanding Control Flow: With Concurrent Programming Using C++ starts with looping, and works through each...

This book constitutes the thoroughly refereed proceedings of the 9th International Joint Conference on Software Technologies, ICSOFT 2014, held in Vienna, Austria, in August 2014.

The 15 revised full papers and 6 short papers presented were carefully reviewed and selected from 145 submissions. The papers focus on enterprise software technologies; software engineering and systems security; distributed systems; and software project management.

Intended to establish a solid foundation in the techniques of programming in Modula-2 for both the novice and the experienced programmer. The authors seek to familiarize the reader with the concept of algorithms and show how to implement algorithms in Modula-2.

MODULA-2 is a new programming language which was created by Niklaus Wirth of the Swiss Federal Institute of Technology (ETH) in Zurich. The lan guage is derived from PASCAL: it includes all aspects of PASCAL and some times improves on them. Moreover, MODULA-2 includes the important "mod ule" concept, as well as multiprogramming capabilities and a way of implemen ting low-level software in an elegant manner. In summary, MODULA-2 may be used equally well as a general-purpose programming language and as a system implementation language. MODULA-2 provides the programmer with a good way of writing...

Als die Computer nach ihren ersten Pionierjahren etwa zwischen 1950 und 1960 in die Praxis Eingang fanden, liess sich kaum voraussehen, welche Bedeutung einmal der organisatorische Teil einschliesslich der Programmierung erlangen wurde. Heute wissen wir, dass beim Compu tereinsatz die sogenannte -Software- mindestens so wichtig ist, wie die eigentliche -Hardware-. Auch dabei haben wir ein weites Feld, welches von strengen Theorien bis zu praxisbezogenen Arbeiten reicht. Das vorliegende Buch dient nun voll und ganz dem praktischen Einsatz der Computer. Es gibt ein gutes Bild davon, welche...

Als die Computer nach ihren ersten Pionierjahren etwa zwischen 1950 und 1960 in die Praxis Eingang fanden, liess sich kaum voraussehen, welche Bedeutung einmal der organisatorische Teil einschliesslich der Programmierung erlangen wurde. Heute wissen wir, dass beim Compu tereinsatz die sogenannte -Software- mindestens so wichtig ist, wie die eigentliche -Hardware-. Auch dabei haben wir ein weites Feld, welches von strengen Theorien bis zu praxisbezogenen Arbeiten reicht. Das vorliegende Buch dient nun voll und ganz dem praktischen Einsatz der Computer. Es gibt ein gutes Bild davon, welche...

In ordinary mathematics, an equation can be written down which is syntactically correct, but for which no solution exists. For example, consider the equation x = x + 1 defined over the real numbers; there is no value of x which satisfies it. Similarly it is possible to specify objects using the formal specification language Z 3,4], which can not possibly exist. Such specifications are called inconsistent and can arise in a number of ways. Example 1 The following Z specification of a functionf, from integers to integers "f x: 1 x O. fx = x + 1 (i) "f x: 1 x O. fx = x + 2 (ii) is inconsistent,...