Languages: From Formal to Natural

1. Front Matter

   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

   PDF

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.

• computational linguistics
• formal grammers
• hybrid bdd
• lambek calculus
• lazy commutation
• model checking
• modular verification
• natural language
• pushdown automata
• recursive programs

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)

• 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

Policies and ethics