Functional Semantics
Functional Semantics

Author: Peter Harder

Publisher: Walter de Gruyter

Published: 2010-12-14

Total Pages: 605

ISBN-13: 3110818752

DOWNLOAD EBOOK

TRENDS IN LINGUISTICS is a series of books that open new perspectives in our understanding of language. The series publishes state-of-the-art work on core areas of linguistics across theoretical frameworks as well as studies that provide new insights by building bridges to neighbouring fields such as neuroscience and cognitive science. TRENDS IN LINGUISTICS considers itself a forum for cutting-edge research based on solid empirical data on language in its various manifestations, including sign languages. It regards linguistic variation in its synchronic and diachronic dimensions as well as in its social contexts as important sources of insight for a better understanding of the design of linguistic systems and the ecology and evolution of language. TRENDS IN LINGUISTICS publishes monographs and outstanding dissertations as well as edited volumes, which provide the opportunity to address controversial topics from different empirical and theoretical viewpoints. High quality standards are ensured through anonymous reviewing.

Computational Semantics with Functional Programming
Computational Semantics with Functional Programming

Author: Jan van Eijck

Publisher: Cambridge University Press

Published: 2010-09-23

Total Pages: 422

ISBN-13: 1139490907

DOWNLOAD EBOOK

Computational semantics is the art and science of computing meaning in natural language. The meaning of a sentence is derived from the meanings of the individual words in it, and this process can be made so precise that it can be implemented on a computer. Designed for students of linguistics, computer science, logic and philosophy, this comprehensive text shows how to compute meaning using the functional programming language Haskell. It deals with both denotational meaning (where meaning comes from knowing the conditions of truth in situations), and operational meaning (where meaning is an instruction for performing cognitive action). Including a discussion of recent developments in logic, it will be invaluable to linguistics students wanting to apply logic to their studies, logic students wishing to learn how their subject can be applied to linguistics, and functional programmers interested in natural language processing as a new application area.

Semantics and Syntax in Lexical Functional Grammar
Semantics and Syntax in Lexical Functional Grammar

Author: Mary Dalrymple

Publisher: MIT Press

Published: 1999

Total Pages: 426

ISBN-13: 9780262041713

DOWNLOAD EBOOK

This introduction to and overview of the "glue" approach is the first book to bring together the research of the major contributors to the field. A new, deductive approach to the syntax-semantics interface integrates two mature and successful lines of research: logical deduction for semantic composition and the Lexical Functional Grammar (LFG) approach to the analysis of linguistic structure. It is often referred to as the "glue" approach because of the role of logic in "gluing" meanings together. The "glue" approach has attracted significant attention from, among others, logicians working in the relatively new and active field of linear logic; linguists interested in a novel deductive approach to the interface between syntax and semantics within a nontransformational, constraint-based syntactic framework; and computational linguists and computer scientists interested in an approach to semantic composition that is grounded in a conceptually simple but powerful computational framework.This introduction to and overview of the "glue" approach is the first book to bring together the research of the major contributors to the field. Contributors Richard Crouch, Mary Dalrymple, John Fry, Vineet Gupta, Mark Johnson, Andrew Kehler, John Lamping, Dick Oehrle, Fernando Pereira, Vijay Saraswat, Josef van Genabith

The Formal Semantics of Programming Languages
The Formal Semantics of Programming Languages

Author: Glynn Winskel

Publisher: MIT Press

Published: 1993-02-05

Total Pages: 388

ISBN-13: 9780262731034

DOWNLOAD EBOOK

The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of the semantics and logics of programming languages. These techniques will allow students to invent, formalize, and justify rules with which to reason about a variety of programming languages. Although the treatment is elementary, several of the topics covered are drawn from recent research, including the vital area of concurency. The book contains many exercises ranging from simple to miniprojects.Starting with basic set theory, structural operational semantics is introduced as a way to define the meaning of programming languages along with associated proof techniques. Denotational and axiomatic semantics are illustrated on a simple language of while-programs, and fall proofs are given of the equivalence of the operational and denotational semantics and soundness and relative completeness of the axiomatic semantics. A proof of Godel's incompleteness theorem, which emphasizes the impossibility of achieving a fully complete axiomatic semantics, is included. It is supported by an appendix providing an introduction to the theory of computability based on while-programs. Following a presentation of domain theory, the semantics and methods of proof for several functional languages are treated. The simplest language is that of recursion equations with both call-by-value and call-by-name evaluation. This work is extended to lan guages with higher and recursive types, including a treatment of the eager and lazy lambda-calculi. Throughout, the relationship between denotational and operational semantics is stressed, and the proofs of the correspondence between the operation and denotational semantics are provided. The treatment of recursive types - one of the more advanced parts of the book - relies on the use of information systems to represent domains. The book concludes with a chapter on parallel programming languages, accompanied by a discussion of methods for specifying and verifying nondeterministic and parallel programs.

Functional Constraints in Grammar
Functional Constraints in Grammar

Author: Susumu Kuno

Publisher: John Benjamins Publishing

Published: 2004-09-30

Total Pages: 255

ISBN-13: 9027295212

DOWNLOAD EBOOK

This book examines in detail the acceptability status of sentences in the following five English constructions, and elucidates the syntactic, semantic, and functional requirements that the constructions must satisfy in order to be appropriately used: There-Construction, (One’s) Way Construction, Cognate Object Construction, Pseudo-Passive Construction, and Extraposition from Subject NPs. It has been argued in the frameworks of Chomskyan generative grammar, relational grammar, conceptual semantics and other syntactic theories that the acceptability of sentences in these constructions can be accounted for by the unergative–unaccusative distinction of intransitive verbs. However, this book shows through a wide range of sentences that none of these constructions is sensitive to this distinction. For each construction, it shows that acceptability status is determined by a given sentence's semantic function as it interacts with syntactic constraints (which are independent of the unergative–unaccusative distinction), and with functional constraints that apply to it in its discourse context.

Lexical Functional Grammar
Lexical Functional Grammar

Author: Mary Dalrymple

Publisher: BRILL

Published: 2001-08-08

Total Pages: 498

ISBN-13: 184950010X

DOWNLOAD EBOOK

Presents an overview and introduction to Lexical Functional Grammar (LFG), a theory of the content and representation of different aspects of linguistic structure and the relations that hold between them. This book also presents a theory of semantics and the syntax-semantics interface.

Formal Methods and Software Engineering
Formal Methods and Software Engineering

Author: Shaoying Liu

Publisher: Springer Science & Business Media

Published: 2008-10-08

Total Pages: 408

ISBN-13: 354088193X

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM 2008, held in Kitakyushu-City, Japan, October 2008. The 20 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 62 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on specification and verification; testing; verification; model checking and analysis; tools; application of formal methods; semantics.

Functional Grammar
Functional Grammar

Author: Alexander V. Bondarko

Publisher: John Benjamins Publishing

Published: 1991-07-12

Total Pages: 217

ISBN-13: 9027277796

DOWNLOAD EBOOK

Every grammar has to a greater or lesser extent a functional aspect. In this book, Bondarko provides a comprehensive discourse on the theoretical foundations of grammar, concentrating on functional-semantic fields, with emphasis on the diversity of their structural types. Criteria for distinguishing between linguistically structured meaning and non-linguistic cognitive content is developed in a discussion on “the Category of Aspect and its Environment” which includes an analysis of aspectual opposition according to the Prague School. Special attention is also paid to analysing polycentric fields and, specifically, taxis in the Russian language. The book is divided into three sections: Functional Grammar: Subject Matter and Goals — Structural Types of Functional-Semantic Fields — Categorial Situations. This book is intended for those interested in the general theory of linguistics.

Formal Semantics and Proof Techniques for Optimizing VHDL Models
Formal Semantics and Proof Techniques for Optimizing VHDL Models

Author: Kothanda Umamageswaran

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 169

ISBN-13: 1461551234

DOWNLOAD EBOOK

Written expressly for hardware designers, this book presents a formal model of VHDL clearly specifying both the static and dynamic semantics of VHDL. It provides a mathematical framework for representing VHDL constructs and shows how those constructs can be formally manipulated to reason about VHDL.