Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

What place is left for semantic notions? There are three main positions in response to that question: eliminativism, physicalism and semanticalism. This book argues in favour of a version of semanticalism. That version of semanticalism does not make semantic notions mysterious as if they are added from outside the realm of nature, as is the case with the Cartesian conception of mental properties. Semantic properties are treated as emergent properties reference to which serves to play a normat...

Semantics. --- Formal semantics --- Semasiology --- Semiology (Semantics) --- Comparative linguistics --- Information theory --- Language and languages --- Lexicology --- Meaning (Psychology)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Semantics. --- Formal semantics --- Semasiology --- Semiology (Semantics) --- Comparative linguistics --- Information theory --- Language and languages --- Lexicology --- Meaning (Psychology)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Formal semantics - the scientific study of meaning in natural language - is one of the most fundamental and long-established areas of linguistics. This Handbook offers a comprehensive, yet compact guide to the field, bringing together research from a wide range of world-leading experts. Chapters include coverage of the historical context and foundation of contemporary formal semantics, a survey of the variety of formal/logical approaches to linguistic meaning and an overview of the major areas of research within current semantic theory, broadly conceived. The Handbook also explores the interfaces between semantics and neighbouring disciplines, including research in cognition and computation. This work will be essential reading for students and researchers working in linguistics, philosophy, psychology and computer science.

Lexicology. Semantics --- Semantics. --- Semantics --- Formal semantics --- Semasiology --- Semiology (Semantics) --- Comparative linguistics --- Information theory --- Language and languages --- Lexicology --- Meaning (Psychology)