Formal Syntax
Author: Peter W. Culicover
Publisher:
Published: 1977
Total Pages: 514
ISBN-13:
DOWNLOAD EBOOKPosts
Formal Syntax and Semantics of Java
Author: Jim Alves-Foss
Publisher: Springer Science & Business Media
Published: 1999-06-09
Total Pages: 410
ISBN-13: 3540661581
DOWNLOAD EBOOKJava, 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.
Formal Approaches to Function in Grammar
Author: Andrew Carnie
Publisher: John Benjamins Publishing
Published: 2003-03-20
Total Pages: 390
ISBN-13: 9027296901
DOWNLOAD EBOOKThe 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.
Empirical Issues in Formal Syntax and Semantics 4
Author: Claire Beyssade
Publisher: Presses Paris Sorbonne
Published: 2003
Total Pages: 358
ISBN-13: 9782840502890
DOWNLOAD EBOOKFormal Syntax and Semantics of Programming Languages
Author: Kenneth Slonneger
Publisher: Addison-Wesley Longman
Published: 1995
Total Pages: 664
ISBN-13:
DOWNLOAD EBOOKWith 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.
Formal Grammar
Author: Terje Lohndal
Publisher: Routledge
Published: 2017-10-12
Total Pages: 448
ISBN-13: 1351971913
DOWNLOAD EBOOKThis 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.
Formal Grammar
Author: Robert Levine
Publisher: Oxford University Press
Published: 1992-03-05
Total Pages: 449
ISBN-13: 0195344928
DOWNLOAD EBOOKThe 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.
Formal Grammar
Author: Philippe de Groote
Publisher: Springer
Published: 2012-07-16
Total Pages: 316
ISBN-13: 3642320244
DOWNLOAD EBOOKThis book constitutes the refereed proceedings of the 15th and 16th International Conference on Formal Grammar 2010 and 2011,collocated with the European Summer School in Logic, Language and Information in July 2010/2011. The 19 revised full papers were carefully reviewed and selected from a total of 50 submissions. The papers papers deal with the following topics: formal and computational phonology, morphology, syntax, semantics and pragmatics; model-theoretic and proof-theoretic methods in linguistics; logical aspects of linguistic structure; constraint-based and resource-sensitive approaches to grammar; learnability of formal grammar; integration of stochastic and symbolic models of grammar; foundational, methodological and architectural issues in grammar; mathematical foundations of statistical approaches to linguistic analysis.
Syntactic Structures
Author: Noam Chomsky
Publisher: Walter de Gruyter GmbH & Co KG
Published: 2020-05-18
Total Pages: 120
ISBN-13: 3112316002
DOWNLOAD EBOOKNo detailed description available for "Syntactic Structures".
Formal Grammar
Author: Annie Foret
Publisher: Springer
Published: 2016-08-05
Total Pages: 331
ISBN-13: 3662530422
DOWNLOAD EBOOKThis book constitutes the refereed proceedings of the 20th and 21st International Conference on Formal Grammar 2015 and 2016, collocated with the European Summer School in Logic, Language and Information in August 2015/2016. The 19 revised full papers presented together with 2 invited talks were carefully reviewed and selected from a total of 34 submissions. The focus of papers are as follows: Formal and computational phonology, morphology, syntax, semantics and pragmatics Model-theoretic and proof-theoretic methods in linguistics Logical aspects of linguistic structure Constraint-based and resource-sensitive approaches to grammar Learnability of formal grammar Integration of stochastic and symbolic models of grammar Foundational, methodological and architectural issues in grammar and linguistics Mathematical foundations of statistical approaches to linguistic analysis
