Listing 1 - 10 of 27 | << page >> |
Sort by
|
Choose an application
The Java programming language provides safety and security guarantees such as type safety and its security architecture. They distinguish it from other mainstream programming languages like C and C++. In this work, we develop a machine-checked model of concurrent Java and the Java memory model and investigate the impact of concurrency on these guarantees. From the formal model, we automatically obtain an executable verified compiler to bytecode and a validated virtual machine.
Java --- formal semantics --- type safety --- memory model --- concurrency
Choose an application
This book presents a modular framework for slicing in the proof assistant Isabelle/HOL which is based on abstract control flow graphs. Building on such abstract structures renders the correctness results language-independent. To prove that they hold for a specific language, it remains to instantiate the framework with this language, which requires a formal semantics of this language in Isabelle/HOL. We show that formal semantics even for sophisticated high-level languages are realizable.
Formal Semantics --- Slicing --- Theorem Proving --- Language Based Security --- Modularity
Choose an application
To celebrate the 270th anniversary of the De Gruyter publishing house, the company is providing permanent open access to 270 selected treasures from the De Gruyter Book Archive. Titles will be made available to anyone, anywhere at any time that might be interested. The DGBA project seeks to digitize the entire backlist of titles published since 1749 to ensure that future generations have digital access to the high-quality primary sources that De Gruyter has published over the centuries.
Semantics. --- Formal semantics --- Semasiology --- Semiology (Semantics) --- Comparative linguistics --- Information theory --- Language and languages --- Lexicology --- Meaning (Psychology)
Choose an application
"For nearly half a century formal semantics has been a prominent area in linguistic theory, developed in a fruitful collaboration among linguists, logicians and philosophers. Formal semantics is sometimes regarded with reluctance (even dreaded) due to its mathematical precision and the apparent complexity of its symbolism. This textbook —the first one of this scope in French— provides a relaxed self-contained introduction to the domain, allowing the reader autonomous progressive study from the basic central concepts to significant innovations that have shaped the domain since Montague’s seminal work. Through its chapters, the book provides acquaintance with elements of scientific methodology generally used in formal semantics. The six chapters, completed with solved exercises, gradually move from basic notions in logic and model-theoretic semantics, to quantification, temporal and modal logic, intensionality, and typed λ-calculus, culminating in compositional semantic analysis at the syntax-semantics interface. This introduction will be supplemented with a second volume that would focus on applications and advances in the field which extend the scope of the formalism.The book is intended for linguistics undergraduate and postgraduate students and researchers wishing to improve their skills in formal semantics, as well as for students and researchers of other domains, such as philosophy, logic, or computational science."
Linguistics --- Semantics. --- Formal semantics --- Semasiology --- Semiology (Semantics) --- Comparative linguistics --- Information theory --- Language and languages --- Lexicology --- Meaning (Psychology) --- intensionality --- temporal and modal logic --- syntax-semantics interface --- formal semantics --- logic and model-theoretic semantics --- textbook --- compositional semantic analysis --- λ-calculus
Choose an application
This collection of eighteen papers explores issues in the study of semantic parallelism - a world-wide tradition in the composition of oral poetry.
Philology & Linguistics --- Languages & Literatures --- Semantics. --- Parallelism (Linguistics) --- Formal semantics --- Semasiology --- Semiology (Semantics) --- Language and languages --- Linguistics --- Comparative linguistics --- Information theory --- Lexicology --- Meaning (Psychology) --- Style
Choose an application
Las cinco investigaciones que se incluyen en este libro se relacionan con la variación léxica y conceptual de diferentes estratos sociales de México. Sin duda, un mayor acervo conceptual de mayores posibilidades de comprender y modificar el mundo. A pesar de su importancia, este tipo de diferencias ha sido muy poco estudiado, más específicamente, la semántica social puede considerarse como un campo nuevo en la lingüística. México es un país con diferencias económicas bastante notables, y los intereses de la gente se relacionan con este hecho. Mientras unos se preocupan por la educación y la cultura, los valores y las ideas, otros piensan fundamentalmente en el alimento y en el vestido. Las diferencias que encuentra el autor lo llevan a proponer que, en México al parecer, la riqueza léxica y conceptual está tan mal distribuida como la económica.
Lexicology. Semantics --- Spanish language --- Mexico --- Semantics --- Social aspects. --- Formal semantics --- Semasiology --- Semiology (Semantics) --- Comparative linguistics --- Information theory --- Language and languages --- Lexicology --- Meaning (Psychology) --- Language teaching & learning
Choose an application
This text presents a new logical framework to capture the meaning of sentences in conversation. It is based on a richer notion of meaning than traditional approaches, and allows for an integrated treatment of statements and questions. The first part of the text presents the framework in detail, while the second demonstrates its many benefits.
Semantics. --- Formal semantics --- Semasiology --- Semiology (Semantics) --- Comparative linguistics --- Information theory --- Language and languages --- Lexicology --- Meaning (Psychology) --- inquisitive semantics --- questions --- coordination --- modals --- conditionals --- intonational meaning
Choose an application
Communicative efficiency can be measured with conventions. Besides linguistic means, pictures and diagrams are also an expression of such conventions. In the practice of technical editing, this refers to multimodal text types with technical language elements, photographs, technical drawings, various types of diagrams, etc. Alexander Holste uses the example of the text type specification sheet to show how an inter-disciplinary team of engineers, lawyers, business economists, etc. negotiates these conventions. The different, technically justified ideas of the text type conventions, especially with regard to the choice of multimodal means of expression, become clearly apparent. Requirement specifications are created in the context of the tendering of public contracts by public authorities. Since such contracts represent an important field of work for the companies involved, the efficient design of the specifications is highly relevant from a business management point of view. Alexander Holste, Dr. phil., studied German as well as business administration in Essen and Turin and headed the technical editorial department of a public transport company before he started teaching professional and scientific writing at the University of Duisburg-Essen in 2009, especially for engineering scientists. His research interests lie in the fields of semiotics, text linguistics, technical communication and writing didactics.
Semantics, discourse analysis, etc --- Interdisciplinary studies --- Semantics. --- Formal semantics --- Semasiology --- Semiology (Semantics) --- Comparative linguistics --- Information theory --- Language and languages --- Lexicology --- Meaning (Psychology)
Choose an application
The current book is a nice blend of number of great ideas, theories, mathematical models, and practical systems in the domain of Semantics. The book has been divided into two volumes. The current one is the first volume which highlights the advances in theories and mathematical models in the domain of Semantics. This volume has been divided into four sections and ten chapters. The sections include: 1) Background, 2) Queries, Predicates, and Semantic Cache, 3) Algorithms and Logic Programming, and 4) Semantic Web and Interfaces. Authors across the World have contributed to debate on state-of-the-art systems, theories, mathematical models in the domain of Semantics. Subsequently, new theories, mathematical models, and systems have been proposed, developed, and evaluated.
Computer science. --- Semantics. --- Informatics --- Science --- Formal semantics --- Semasiology --- Semiology (Semantics) --- Comparative linguistics --- Information theory --- Language and languages --- Lexicology --- Meaning (Psychology) --- Computer science
Choose an application
Problèmes de sémantique n’a pas pour objectif de mettre sur pied une nouvelle et xième théorie sémantique, mais celui d’examiner le bouleversement qui a changé fortement le paysage de la sémantique actuelle et d’essayer ainsi de juger à leur juste valeur les hypothèses nouvelles qui portent le développement de la sémantique et surtout bouleversent le traitement de la polysémie aujourd’hui. Trois idées-force animent cette démarche (i) la sémantique n’a aucun sens si elle n’est pas tournée vers (ce que nous croyons être) la réalité. L’ouvrage se place ainsi résolument dans un cadre réaliste, positiviste, qui entend mettre en rapport les formes linguistiques et les aspects pertinents des situations extra-linguistiques qui les sous-tendent. (ii) cette sémantique est résolument ouverte au cognitif en ce qu’elle s’ancre dans l’expérience humaine sous toutes ses dimensions interactives : perceptuelle, sociale, culturelle, etc. (III) elle maintient une place au sens "linguistique", conçu comme un phénomène intersubjectivement stable, dans l’interprétation globale d’un énoncé. Par là-même, une réponse attrayante et instructive est apportée à deux questions cruciales pour la saisie et l’analyse de la polysémie : jusqu’où faut-il l’étendre et à quel niveau de généralité faut-il la traiter ?
Lexicology. Semantics --- Semantics --- Polysemy --- Sémantique --- Polysémie --- Semantics. --- Polysemy. --- Formal semantics --- Semasiology --- Semiology (Semantics) --- Comparative linguistics --- Information theory --- Language and languages --- Lexicology --- Meaning (Psychology) --- Sémantique --- Polysémie --- sémantique --- sens --- français --- problème
Listing 1 - 10 of 27 | << page >> |
Sort by
|