The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of the semantics and logi

Formal semantics - the scientific study of meaning in natural language - is one of the most fundamental and long-established areas of linguistics. This Handbook

It is recognized that formal design and verification methods are an important requirement for the attainment of high quality system designs. The field has evolv

This book studies formal semantics in modern type theories (MTTsemantics). Compared with simple type theory, MTTs have much richer type structures and provide p

Introducing some of the foundational concepts, principles and techniques in the formal semantics of natural language, Elements of Formal Semantics outlines the

Compositionality in Formal Semantics is a collection of Barbara Partee’s papers that have been influential in the field but are not readily available and incl

Written expressly for hardware designers, this book presents a formal model of VHDL clearly specifying both the static and dynamic semantics of VHDL. It provide

This book is an introduction to the current developments in model-theoretic semantics, which has become an essential part of the work in theoretical linguistics

Connects the semantics of databases to that of natural language, and links them through a common view of the semantics of time.

This 1992 collection explores the syntax/semantics interface, introducing the disciplines of computational linguistics and formal semantics.