175 years of Springer publishing +++ Through June 30: 50% off Physics & Astronomy Books

Programming and Software Engineering

Languages: From Formal to Natural

Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

Editors: Grumberg, O., Kaminski, M., Katz, S., Wintner, S. (Eds.)

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-642-01748-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-642-01747-6
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.
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.

Reviews

From the reviews: “It includes a wide variety of papers on linguistics and the foundations of verification, written by top people in the field. This review only discusses the most interesting contributions. … On the linguistic side, I enjoyed reading Winter, Lavie, and MacWhinney’s paper, ’Formal grammars of early language,’ for its experimental approach to the development of grammar in child language development. … libraries should look to acquire this text for their collections.” (K. Lodaya, ACM Computing Reviews, March, 2010)

Table of contents (15 chapters)

  • Modular Verification of Recursive Programs

    Apt, Krzysztof R. (et al.)

    Pages 1-21

  • Semi-formal Evaluation of Conversational Characters

    Artstein, Ron (et al.)

    Pages 22-35

  • Scope Dominance with Generalized Quantifiers

    Ben-Avi, Gilad (et al.)

    Pages 36-44

  • Nonassociative Lambek Calculus with Additives and Context-Free Languages

    Buszkowski, Wojciech (et al.)

    Pages 45-58

  • On Lazy Commutation

    Dershowitz, Nachum

    Pages 59-82

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-642-01748-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-642-01747-6
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.
Loading...

Recommended for you

Loading...

Bibliographic Information

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
Programming and Software Engineering
Series Volume
5533
Copyright
2009
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-01748-3
DOI
10.1007/978-3-642-01748-3
Softcover ISBN
978-3-642-01747-6
Edition Number
1
Number of Pages
X, 245
Topics