The theory of parsing is an important application area of the theory of formal languages and automata. The evolution of modem high-level programming languages created a need for a general and theoretically dean method...
详细信息
ISBN:
(数字)9783642613456
ISBN:
(纸本)9783540137207;9783642648014
The theory of parsing is an important application area of the theory of formal languages and automata. The evolution of modem high-level programming languages created a need for a general and theoretically dean methodology for writing compilers for these languages. It was perceived that the compilation process had to be "syntax-directed", that is, the functioning of a programming language compiler had to be defined completely by the underlying formal syntax of the language. A program text to be compiled is "parsed" according to the syntax of the language, and the object code for the program is generated according to the semantics attached to the parsed syntactic entities. Context-free grammars were soon found to be the most convenient formalism for describing the syntax of programming languages, and accordingly methods for parsing context-free languages were devel oped. Practical considerations led to the definition of various kinds of restricted context-free grammars that are parsable by means of efficient deterministic linear-time algorithms.
This book constitutes the proceedings of the 22nd International Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM '95, held in Milovy, Czech Republic, in November 1995. The SOFSEM seminars ar...
详细信息
ISBN:
(数字)9783540484639
ISBN:
(纸本)9783540606093
This book constitutes the proceedings of the 22nd International Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM '95, held in Milovy, Czech Republic, in November 1995. The SOFSEM seminars are held annually and aim at fostering cooperation among and high-level continuing education of computer scientists active in different areas.;The book presents 17 invited full papers by renowned researchers as well as 22 revised refereed papers selected from 52 submissions. The 17 invited papers cover more than 350 pages and give a representative overview of fundamental issues, databases, software engineering, parallel and distributed systems and scientific computing, and multimedia and hypertext; the selected papers are devoted to special aspects of the same topics.
FORTRAN IV ist die im wissenschaftlichen Bereich am weitesten verbreitete Programmiersprache. Für fast alle Rechenanlagen und in zunehmendem Maße auch in Tischrechnern ("intelligenten Terminals") s...
详细信息
ISBN:
(数字)9783663141587
ISBN:
(纸本)9783528033453
FORTRAN IV ist die im wissenschaftlichen Bereich am weitesten verbreitete Programmiersprache. Für fast alle Rechenanlagen und in zunehmendem Maße auch in Tischrechnern ("intelligenten Terminals") stehen FORTRAN Compiler zur Verfügung. Bedingt durch das große Spektrum von Rechenanlagen mit den vielfältigen Bedürfnissen der verschiedensten Anwendungsgebiete wurden viele Sprach erweiterungen von FORTRAN IV vorgenommen, so daß heute eine fast unübersehbare Zahl von IISprachdialekten" vorliegt. Obwohl FORTRAN IV eine sogenannte höhere Programmiersprache ist und damit die Programme eigentlich unabhängig von der benutzten Rechenanlage sein sollten, haben die verschiedenen FORTRAN-Dialekte zu Umstellungsschwierigkeiten ge führt. Deshalb war es notwendig und konsequent, einen neuen FORTRAN Standard zu schaffen. Dies ist mit FORTRAN 77 geschehen, das im wesent lichen eine Erweiterung von FORTRAN IV darstellt und so die früheren Abweichungen soweit wie möglich in den Standard aufnimmt. Das vorliegende Buch führt in die Programmiersprache FORTRAN 77 an Hand von Beispielen ein, wobei gleichzeitig auf abweichende Sprachelemente von FORTRAN IV eingegangen wird. Die Beispiele und Aufgaben sind so gewählt, daß sie ohne allzu große Vorkenntnisse mit den dargestellten FORTRAN-Anweisungen gelöst werden können. Dabei lernt der Leser mit Ausnahme weniger Anweisungen den gesamten Sprachumfang von FORTRAN 77 kennen. Frau U. Kleinschmidt möchte ich an dieser Stelle für ihre Sorgfalt beim Schreiben der Druckvorlage danken.
Dieses Buch wendet sich an alle, die den Einstieg in eine sehr zukunftsträchtige Programmiersprache im Salbstudium betreiben wollen, ein eher didaktisch ausgerichtetes Lehrbuch über C++ suchen oder ganz einf...
详细信息
ISBN:
(数字)9783663141600
ISBN:
(纸本)9783528046897
Dieses Buch wendet sich an alle, die den Einstieg in eine sehr zukunftsträchtige Programmiersprache im Salbstudium betreiben wollen, ein eher didaktisch ausgerichtetes Lehrbuch über C++ suchen oder ganz einfach ein schnelles Nachschlagewerk für praktische Probleme wollen. Der Inhalt und die Idee entstammen einer selbstgehaltenen Vorlesung über C++ an der Universität Dortmund im Sommersemester 1988. Der Inhalt samt der übersichtlichen Darstellung und der Vielzahl von Beispielen ist dabei so ausgelegt, daß ein Salbstudium möglichst effektiv unterstützt wird. Es werden keine Kenntnisse der Programmiersprache C vorausgesetzt, Kenntnisse einer anderen Hochsprache sind jedoch von Vorteil. Angefangen bei den für ein praktisches Erproben von Beispielen wichtigen Ein-/Ausgabeanweisungen wird das Wissen des Lesers schrittweise erweitert, ohne ihn gleich mit komplizierten Anweisungen zu überfordern. Ein einführendes Beispiel in Kapitel 2, anschließend Grundlagen über Definitionen und Deklarationen in Kapitel 3, gefolgt von Grundlagen über Typen, Konstanten, Operatoren und Ausdrücke in Kapitel 4 bilden die Basis für das schnelle Erproben kleinerer praktischer Probleme und für spätere Probleme komplexerer Natur. Anweisungen in Kapitel 5, Funktionen in Kapitel 6 und Structures in Kapitel 7 beenden den C-spezifischen Teil von C++, der im wesentlichen identisch zu C ist, trotzdem aber einige wichtige syntaktische Unterschiede beinhaltet. Kapitel 8 leitet über zu den wichtigen Neuerungen von C++. Hier werden die Grundlagen des Konzepts der Klassen aufgezeigt und anschließend in Kapitel 9 in Form von abgeleiteten Klassen erweitert. Kapitel 10 beschäftigt sich sodann mit dem ebenfalls neuen Konzept des Operator Overloading, und Bemerkungen zur Ein-/Ausgabe in Kapitel11 bilden den Abschluß des Hauptteils.
This book constitutes the refereed proceedings of the Fifth International Symposium on Search-Based Software Engineering, SSBSE 2013, held in St. Petersburg, Russia. The 14 revised full papers, 6 revised short papers,...
详细信息
ISBN:
(数字)9783642397424
ISBN:
(纸本)9783642397417
This book constitutes the refereed proceedings of the Fifth International Symposium on Search-Based Software Engineering, SSBSE 2013, held in St. Petersburg, Russia.
The 14 revised full papers, 6 revised short papers, and 6 papers of the graduate track presented together with 2 keynotes, 2 challenge track papers and 1 tutorial paper were carefully reviewed and selected from 50 initial 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.
This book presents revised versions of selected papers from the 6th Workshop on Model Checking and Artificial Intelligence, MoChArt 2010, held in Atlanta, GA, USA in July 2010, as well as papers contributed subsequent...
详细信息
ISBN:
(数字)9783642206740
ISBN:
(纸本)9783642206733
This book presents revised versions of selected papers from the 6th Workshop on Model Checking and Artificial Intelligence, MoChArt 2010, held in Atlanta, GA, USA in July 2010, as well as papers contributed subsequent to the workshop.
The 7 papers presented were carefully reviewed and selected for inclusion in this book. In addition, the book also contains an extended abstract of the invited talk held at the workshop.
The topics covered by these papers are general search algorithms, application of AI techniques to automated program verification, multiagent systems and epistemic logic, abstraction, epistemic model checking, and theory of model checking.
The papers contained in this volume were presented at the 19th Annual S- posium on Combinatorial Pattern Matching (CPM 2008) held at the University of Pisa, Italy, June 18–20, 2008. All the papers presented at the co...
详细信息
ISBN:
(数字)9783540690689
ISBN:
(纸本)9783540690665
The papers contained in this volume were presented at the 19th Annual S- posium on Combinatorial Pattern Matching (CPM 2008) held at the University of Pisa, Italy, June 18–20, 2008. All the papers presented at the conference are originalresearchcontributions on computational pattern matching and analysis. They were selected from 78 submissions. Each submission was reviewed by at least three reviewers. The committee decided to accept 25 papers. The programme also includes three invited talks by Daniel M. Gus?eld from the University of California, Davis, USA, J. Ian Munro from the University of Waterloo, Canada, and Prabhakar Raghavan from Yahoo! Research, USA. The objective of the annual CPM meetings is to provide an international forum for research in combinatorial pattern matching and related applications. It addresses issues of searching and matching strings and more complicated p- terns such as trees, regular expressions, graphs, point sets, and arrays. The goal is to derive non-trivialcombinatorialproperties of suchstructures and to exploit these properties in order to either achieve superior performance for the cor- sponding computational problems or pinpoint conditions under which searches cannotbeperformede?ciently. Themeeting also dealswith problems incom- tational biology, data compression, data mining, coding, information retrieval, natural language processing and pattern recognition.
The generic term "graph-grammars" refers to a variety of methods for specifying (possibly infinite) sets of graphs or sets of maps. The area of graph-grammars originated in the late 60s motivated by consider...
详细信息
ISBN:
(数字)9783540481782
ISBN:
(纸本)9783540187714
The generic term "graph-grammars" refers to a variety of methods for specifying (possibly infinite) sets of graphs or sets of maps. The area of graph-grammars originated in the late 60s motivated by considerations concerning pattern recognition - since then the list of areas which have interacted with the development of graph-grammars has grown quite impressively. It includes pattern recognition, software specification and development, VLSI layout schemes, data bases, lambda-calculus, analysis of concurrent systems, massively parallel computer architectures, incremental compilers, computer animation, complexity theory, developmental biology, music composition, representation of physical solids, and many others. This volume is based on the contributions presented at the third international workshop on graph-grammars and their applications, held in Warrenton, Virginia, USA in December 1986. Aiming at the best possible representation of the field not all of the papers presented at the meeting appear in this volume and some of the papers from this volume were not presented at the workshop. The volume consists of two parts: Part I presents tutorial introductions to a number of basic graph and map rewriting mechanisms. Part II contains technical contributions. This collection of papers provides the reader with an up-to-date overview of current trends in graph-grammars.
暂无评论