Constraint-Based Grammar Formalisms provides the first rigorous mathematical and computational basis for this important area. Constraint-based theories of grammar and grammar formalisms are becoming an increasingly widespread area of research in computational linguistics. Constraint-Based Grammar Formalisms provides the first rigorous mathematical and computational basis for this important area…
A thorough and accessible introduction to a range of key ideas in type systems for programming language.The study of type systems for programming languages now touches many areas of computer science, from language design and implementation to software engineering, network security, databases, and analysis of concurrent and distributed systems. This book offers accessible introductions to key id…
"Standard ML is a general-purpose programming language designed for large projects. This book provides a formal definition of Standard ML for the benefit of all concerned with the language, including users and implementers. Because computer programs are increasingly required to withstand rigorous analysis, it is all the more important that the language in which they are written be defined with …
This comprehensive collection of current research in the development of speech perception and perceptual learning documents the striking changes that take place both in early childhood and throughout life and speculates about the mechanisms responsible for those changes. The findings reported from this rich and active field address the role of growing linguistic knowledge and experience and dem…
OCLC-licensed vendor bibliographic record.
A comprehensive investigation of the sentence connectives--and, or, if, not--with special attention to their logical properties.OCLC-licensed vendor bibliographic record.
Data-Parallel Programming demonstrates that architecture-independent parallel programming is possible by describing in detail how programs written in a high-level SIMD programming language may be compiled and efficiently executed-on both shared-memory multiprocessors and distributed-memory multicomputers.MIMD computers are notoriously difficult to program. Data-Parallel Programming demonstrates…
"A Bradford book."An investigation into the beliefs speakers have about language-their de lingua beliefs-that examines the genesis of these beliefs and the central explanatory role they play in the use and understanding of language.OCLC-licensed vendor bibliographic record.
A consideration of the distinction between the spatiotemporal furniture of the world (tokens) and the types of which they are instances, and an argument that types exist. There is a widely recognized but infrequently discussed distinction between the spatiotemporal furniture of the world (tokens) and the types of which they are instances. Words come in both types and tokens—for example, th…
"A Bradford book."OCLC-licensed vendor bibliographic record.