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)

"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

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

Lexicology. Semantics --- Psycholinguistics --- Pragmatics --- Semantics --- #KVHA:Linguistiek; Frans --- Formal semantics --- Semasiology --- Semiology (Semantics) --- Comparative linguistics --- Information theory --- Language and languages --- Lexicology --- Meaning (Psychology) --- Semantics.

Choose an application

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

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