Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 5533)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsThis is a preview of subscription content, access via your institution.
Table of contents (15 chapters)
-
Front Matter
-
Languages: From Formal to Natural
-
Back Matter
About this book
This Festschrift volume, published in honor of Nissim Francez on the occasion of his 65th birthday, contains 15 papers, written by friends and colleagues, many of whom congregated at a celebratory symposium held on May 24-25, 2009, in Haifa, Israel.
The theme of the symposium was Languages: From Formal to Natural, reflecting the focus of Nissim Francez' research career, which started in program verification and the semantics of programming languages and later concentrated on natural languages and computational linguistics. The papers included in this volume cover the entire spectrum of this field of research.
Keywords
- computational linguistics
- formal grammers
- hybrid bdd
- lambek calculus
- lazy commutation
- model checking
- modular verification
- natural language
- pushdown automata
- recursive programs
Reviews
Editors and Affiliations
-
Computer Science Department, TECHNION - Israel Institute of Technology, Technion City, Israel
Orna Grumberg
-
Department of Computer Science, Technion, Israel Institute of Technology, Haifa, Israel
Michael Kaminski
-
Department of Computer Science, The Technion, Haifa, Israel
Shmuel Katz
-
Department of Computer Science, University of Haifa, Israel
Shuly Wintner
Bibliographic Information
Book Title: Languages: From Formal to Natural
Book Subtitle: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday
Editors: Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-642-01748-3
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2009
Softcover ISBN: 978-3-642-01747-6Published: 12 May 2009
eBook ISBN: 978-3-642-01748-3Published: 22 May 2009
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 245
Topics: Formal Languages and Automata Theory, Mathematical Logic and Foundations, Computer Science Logic and Foundations of Programming, Theory of Computation, Arithmetic and Logic Structures