Download or read book Revue Canadienne Des Sciences de L information written by and published by . This book was released on 1990 with total page 602 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book COMPILATION Th orie des langages et compilation Brefs r sum s de cours et exercices corrig s Niveau B written by Aït El Hadj Ali and published by Editions Ellipses. This book was released on 2018-11-27 with total page 305 pages. Available in PDF, EPUB and Kindle. Book excerpt: L’ouvrage résume l’essentiel des concepts de la modélisation syntaxique et présente une synthèse des méthodes et techniques de compilation. Le livre est structuré en cinq chapitres : - le premier chapitre constitue un résumé concis et pratique des notations et des formalismes (grammaires, automates, etc.) qui sont issus de la théorie des langages ; - le deuxième chapitre décrit tout ce qui a trait aux systèmes de représentation des langages réguliers (automates finis, grammaires régulières, expressions régulières) ; - le troisième chapitre s’inscrit dans le cadre des langages à contexte libre ; - le quatrième chapitre est dédié à l’analyse syntaxique ; - le cinquième chapitre concerne l’analyse lexicale et la traduction qui sont deux phases du processus de compilation indispensables dans tout système traducteur. Un bref rappel de cours est d’abord introduit dans chaque chapitre lorsque cela est nécessaire. Sinon tout le reste est constitué d’une centaine d’exercices d’application avec leurs corrigés. Confectionnés avec soin ces exercices couvrent l’essentiel des notions théoriques et pratiques indispensables pour comprendre ce qu’il y a derrière les compilateurs et les traducteurs. L’ouvrage est clair, concis et suffisamment étoffé par le caractère pédagogique affirmé des exercices qui y sont proposés.
Download or read book Proceedings written by and published by . This book was released on 1981 with total page 552 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Operating Systems written by D. Lanciaux and published by North Holland. This book was released on 1979 with total page 416 pages. Available in PDF, EPUB and Kindle. Book excerpt: Distribuited systems; System and machine architectures; Synchronization; Performance models; Protection; Current languages; Languages and system structuring;
Download or read book Revue Roumaine de Linguistique written by and published by . This book was released on 1964 with total page 570 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Technique Et Science Informatiques written by and published by . This book was released on 1987 with total page 632 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Linguisticae investigationes written by and published by . This book was released on 1995 with total page 484 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Kripke s Worlds written by Olivier Gasquet and published by Springer Science & Business Media. This book was released on 2013-11-20 with total page 208 pages. Available in PDF, EPUB and Kindle. Book excerpt: Possible worlds models were introduced by Saul Kripke in the early 1960s. Basically, a possible world's model is nothing but a graph with labelled nodes and labelled edges. Such graphs provide semantics for various modal logics (alethic, temporal, epistemic and doxastic, dynamic, deontic, description logics) and also turned out useful for other nonclassical logics (intuitionistic, conditional, several paraconsistent and relevant logics). All these logics have been studied intensively in philosophical and mathematical logic and in computer science, and have been applied increasingly in domains such as program semantics, artificial intelligence, and more recently in the semantic web. Additionally, all these logics were also studied proof theoretically. The proof systems for modal logics come in various styles: Hilbert style, natural deduction, sequents, and resolution. However, it is fair to say that the most uniform and most successful such systems are tableaux systems. Given logic and a formula, they allow one to check whether there is a model in that logic. This basically amounts to trying to build a model for the formula by building a tree. This book follows a more general approach by trying to build a graph, the advantage being that a graph is closer to a Kripke model than a tree. It provides a step-by-step introduction to possible worlds semantics (and by that to modal and other nonclassical logics) via the tableaux method. It is accompanied by a piece of software called LoTREC (www.irit.fr/Lotrec). LoTREC allows to check whether a given formula is true at a given world of a given model and to check whether a given formula is satisfiable in a given logic. The latter can be done immediately if the tableau system for that logic has already been implemented in LoTREC. If this is not yet the case LoTREC offers the possibility to implement a tableau system in a relatively easy way via a simple, graph-based, interactive language.
Download or read book The Books behind the Masks written by Anthony Spalinger and published by BRILL. This book was released on 2021-08-30 with total page 458 pages. Available in PDF, EPUB and Kindle. Book excerpt: In The Books behind the Masks Anthony Spalinger continues his work on the warrior kings of pharaonic Egypt. Here is covered their actual war records from the perspective of literature and the contemporary court-based society, especially with the eulogies.
Download or read book Types and Programming Languages written by Benjamin C. Pierce and published by MIT Press. This book was released on 2002-01-04 with total page 656 pages. Available in PDF, EPUB and Kindle. Book excerpt: A comprehensive introduction to type systems and programming languages. A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of type systems—and of programming languages from a type-theoretic perspective—has important applications in software engineering, language design, high-performance compilers, and security. This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages. The approach is pragmatic and operational; each new concept is motivated by programming examples and the more theoretical sections are driven by the needs of implementations. Each chapter is accompanied by numerous exercises and solutions, as well as a running implementation, available via the Web. Dependencies between chapters are explicitly identified, allowing readers to choose a variety of paths through the material. The core topics include the untyped lambda-calculus, simple type systems, type reconstruction, universal and existential polymorphism, subtyping, bounded quantification, recursive types, kinds, and type operators. Extended case studies develop a variety of approaches to modeling the features of object-oriented languages.
Download or read book T A Informations written by and published by . This book was released on 1990 with total page 474 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Divine Names on the Spot written by Fabio Porzia and published by . This book was released on 2023 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: 'Ancient Greek and Semitic languages resorted to a large range of words to name the divine. Gods and goddesses were called by a variety of names and combinations of onomastic attributes. This broad lexicon of names is characterised by plurality and a tendency to build on different sequences of names; therefore, the Mapping Ancient Polytheisms project focuses on the process of naming the divine in order to better understand the ancient divine in terms of a plurality in the making. A fundamental rule for reading ancient divine names is to grasp them in their context - time and place, a ritual, the form of the discourse, a cultural milieu...: a deity is usually named according to a specific situation. From Artemis Eulochia to al-Lat, al-'Uzza and Manat, from Melqart to "my rock" in the biblical book of Psalms, this volume journeys between the sanctuary on Mount Gerizim and late antique magical practices, revisiting rituals, hymnic poetry, oaths of orators and philosophical prayers. While targeting different names in different contexts, the contributors draft theoretical propositions towards a dynamic approach of naming the divine in antiquity.'
Download or read book Multiword expressions written by Manfred Sailer and published by Language Science Press. This book was released on 2018 with total page 376 pages. Available in PDF, EPUB and Kindle. Book excerpt: Multiword expressions (MWEs) are a challenge for both the natural language applications and the linguistic theory because they often defy the application of the machinery developed for free combinations where the default is that the meaning of an utterance can be predicted from its structure. There is a rich body of primarily descriptive work on MWEs for many European languages but comparative work is little. The volume brings together MWE experts to explore the benefits of a multilingual perspective on MWEs. The ten contributions in this volume look at MWEs in Bulgarian, English, French, German, Maori, Modern Greek, Romanian, Serbian, and Spanish. They discuss prominent issues in MWE research such as classification of MWEs, their formal grammatical modeling, and the description of individual MWE types from the point of view of different theoretical frameworks, such as Dependency Grammar, Generative Grammar, Head-driven Phrase Structure Grammar, Lexical Functional Grammar, Lexicon Grammar.
Download or read book The Definition of Standard ML written by Robin Milner and published by MIT Press. This book was released on 1997 with total page 132 pages. Available in PDF, EPUB and Kindle. Book excerpt: Software -- Programming Languages.
Download or read book Word and Language written by Roman Jakobson and published by Walter de Gruyter. This book was released on 2010-12-14 with total page 768 pages. Available in PDF, EPUB and Kindle. Book excerpt:
