With this book, readers with a basic grounding in discreet mathematics will be able to understand the practical applications of these difficult concepts. The book presents the typically difficult subject of "formal methods" in an informal, easy-to-follow manner. A "laboratory component" is integrated throughout the text.

Java, undoubtedly, has its roots in embedded systems and the Web. Nevertheless, it is a fully functional high-level programming language that can provide users with a wide range of functionality and versatility. This thoroughly cross-reviewed state-of-the-art survey is devoted to the study of the syntax and semantics of Java from a formal-methods point of view. It consists of the following chapters by leading researchers: Formal Grammar for Java; Describing the Semantics of Java and Proving Type Soundness; Proving Java Type Soundness; Machine-Checking the Java Specification: Proving Type-Safety; An Event-Based Structural Operational Semantics of Multi-Threaded Java Dynamic Denotational Semantics of Java; A Programmer's Reduction Semantics for Classes and Mixins; A Formal Specification of Java Virtual Machine Instructions for Objects, Methods and Subroutines; The Operational Semantics of a Java Secure Processor; A Programmer Friendly Modular Definition of the Semantics of Java.

The contributions making up this volume in honor of Eloise Jelinek are written from a formalist perspective that deals with stereotypically functionalist questions about language. Jelinek's pioneering work in formalist syntax has shown that autonomous syntax need not exist in a vacuum. Her work has highlighted the importance of incorporating the effects of discourse and information structure on the syntactic representation. This book aims to invoke Jelinek's work either in substance or spirit. The focus is on Jelinek's influential Pronominal Argument Hypothesis as an "non-configurational" language; the influence of discourse-related interface phenomena on syntactic structure; the syntactic analysis of the grammaticalization; interactions between morphology, phonology and phonetics; and foundational issues about the link between formal grammar and function of language, as well as the methodological issues underlying the different approaches to linguistics.

It has often been noted that Dutch (and Frisian) reflects a particular stage of development between German and English. Phonologically, syntactically and morphologically, Dutch and German are closely related languages. Yet, there remain sufficient morphosyntactic differences in terms of language development. The contributions of this collection focus on the relationships and differences of these neighbouring West Germanic languages.

This authoritative introduction explores the four main non-transformational syntactic frameworks: Head-driven Phrase Structure Grammar, Lexical-Functional Grammar, Categorial Grammar, and Simpler Syntax. It also considers a range of issues that arise in connection with these approaches, including questions about processing and acquisition. An authoritative introduction to the main alternatives to transformational grammar Includes introductions to three long-established non-transformational syntactic frameworks: Head-driven Phrase Structure Grammar, Lexical-Functional Grammar, and Categorial Grammar, along with the recently developed Simpler Syntax Brings together linguists who have developed and shaped these theories to illustrate the central properties of these frameworks and how they handle some of the main phenomena of syntax Discusses a range of issues that arise in connection with non-transformational approaches, including processing and acquisition

This volume draws together fourteen previously published papers which explore the nature of mental grammar through a formal, generative approach. The book begins by outlining the development of formal grammar in the last fifty years, with a particular focus on the work of Noam Chomsky, and moves into an examination of a diverse set of phenomena in various languages that shed light on theory and model construction. Many of the papers focus on comparisons between English and Norwegian, highlighting the importance of comparative approaches to the study of language. With a comprehensive collection of papers that demonstrate the richness of formal approaches, this volume is key reading for students and scholars interested in the study of grammar.

Java, undoubtedly, has its roots in embedded systems and the Web. Nevertheless, it is a fully functional high-level programming language that can provide users with a wide range of functionality and versatility. This thoroughly cross-reviewed state-of-the-art survey is devoted to the study of the syntax and semantics of Java from a formal-methods point of view. It consists of the following chapters by leading researchers: Formal Grammar for Java; Describing the Semantics of Java and Proving Type Soundness; Proving Java Type Soundness; Machine-Checking the Java Specification: Proving Type-Safety; An Event-Based Structural Operational Semantics of Multi-Threaded Java Dynamic Denotational Semantics of Java; A Programmer's Reduction Semantics for Classes and Mixins; A Formal Specification of Java Virtual Machine Instructions for Objects, Methods and Subroutines; The Operational Semantics of a Java Secure Processor; A Programmer Friendly Modular Definition of the Semantics of Java.

The second volume in the Vancouver Studies in Cognitive Science series, this collection presents recent work in the fields of phonology, morphology, semantics, and neurolinguistics. Its overall theme is the relationship between the contents of grammatical formalisms and their real-time realizations in machine or biological systems. Individual essays address such topics as learnability, implementability, computational issues, parameter setting, and neurolinguistic issues. Contributors include Janet Dean Fodor, Richard T. Oehrle, Bob Carpenter, Edward P. Stabler, Elan Dresher, Arnold Zwicky, Mary-Louis Kean, and Lewis P. Shapiro.