Skip to main content
SpringerLink
Log in
Book cover

Languages: From Formal to Natural

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

  • Book
  • © 2009

Overview

Editors:
  1. Orna Grumberg

    1. Computer Science Department, TECHNION - Israel Institute of Technology, Technion City, Israel

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Michael Kaminski

    1. Department of Computer Science, Technion, Israel Institute of Technology, Haifa, Israel

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Shmuel Katz

    1. Department of Computer Science, The Technion, Haifa, Israel

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Shuly Wintner

    1. Department of Computer Science, University of Haifa, Israel

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 5533)

Part of the book sub series: Programming and Software Engineering (LNPSE)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (15 chapters)

  1. Front Matter

    Download chapter PDF

  2. Languages: From Formal to Natural

    1. Modular Verification of Recursive Programs

      • Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
      Pages 1-21

    2. Semi-formal Evaluation of Conversational Characters

      • Ron Artstein, Sudeep Gandhe, Jillian Gerten, Anton Leuski, David Traum
      Pages 22-35

    3. Scope Dominance with Generalized Quantifiers

      • Gilad Ben-Avi, Yoad Winter
      Pages 36-44

    4. Nonassociative Lambek Calculus with Additives and Context-Free Languages

      • Wojciech Buszkowski, Maciej Farulewski
      Pages 45-58

    5. On Lazy Commutation

      • Nachum Dershowitz
      Pages 59-82

    6. Aspect Oriented Approach for Capturing and Verifying Distributed Properties

      • Tzilla Elrad
      Pages 83-96

    7. No i-Sums for Nissim (and Shalom)

      • Itamar Francez
      Pages 97-106

    8. The Power of Non-deterministic Reassignment in Infinite-Alphabet Pushdown Automata

      • Yulia Dubov, Michael Kaminski
      Pages 107-127

    9. Modular Verification of Strongly Invasive Aspects

      • Emilia Katz, Shmuel Katz
      Pages 128-147

    10. Classes of Service under Perfect Competition and Technological Change

      • Daniel Lehmann
      Pages 148-169

    11. On the Ontological Nature of Syntactic Categories in Categorial Grammar

      • Rani Nelken
      Pages 170-176

    12. Masking Gateway for Enterprises

      • Sara Porat, Boaz Carmeli, Tamar Domany, Tal Drory, Ksenya Kveler, Alex Melament et al.
      Pages 177-191

    13. No Syllogisms for the Numerical Syllogistic

      • Ian Pratt-Hartmann
      Pages 192-203

    14. Formal Grammars of Early Language

      • Shuly Wintner, Alon Lavie, Brian MacWhinney
      Pages 204-227

    15. Hybrid BDD and All-SAT Method for Model Checking

      • Avi Yadgar, Orna Grumberg, Assaf Schuster
      Pages 228-244

  3. Back Matter

    Download chapter PDF
Back to top

Keywords

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)

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

Publish with us

Policies and ethics

Back to top

Search

Navigation