Articles liés à Parsing Theory I: Languages and Parsing

Parsing Theory I: Languages and Parsing - Couverture rigide

Sippu, Seppo; Soisalon-Soininen, Eljas

 
9783540137207: Parsing Theory I: Languages and Parsing

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

À propos de l'auteur

Seppo Sippu is Professor (Emeritus) of Computer Science at the University of Helsinki, and Eljas Soisalon-Soininen is Professor of Computer Science and Engineering at the Aalto University School of Science. They started their co-work already in the 1970s on the area of compiler construction and parsing. This work culminated in the two-volume book "Parsing Theory" published by Springer 1988 and 1990. Already in the 1980s they gradually moved to data structures and algorithms, and also to databases and indexing, partly inspired by the visit of Dr. Soisalon-Soininen at the University of Karlsruhe as a Humboldt grantee. One important topic in the most recent work has been incorporating index operations into database transactions allowing uniform treatment of them both. Sippu and Soisalon-Soininen have published many articles in peer-reviewed conferences and journals, such as Journal of the ACM, ACM Transactions on Database Systems, The VLDB Journal, and IEEE Transactions on Knowledge and Data Engineering.

À propos de la quatrième de couverture

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.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.