Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog (auth.), Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner (eds.)3642017479, 9783642017476
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.
Table of contents :
Front Matter….Pages –
Modular Verification of Recursive Programs….Pages 1-21
Semi-formal Evaluation of Conversational Characters….Pages 22-35
Scope Dominance with Generalized Quantifiers….Pages 36-44
Nonassociative Lambek Calculus with Additives and Context-Free Languages….Pages 45-58
On Lazy Commutation….Pages 59-82
Aspect Oriented Approach for Capturing and Verifying Distributed Properties….Pages 83-96
No i -Sums for Nissim (and Shalom)….Pages 97-106
The Power of Non-deterministic Reassignment in Infinite-Alphabet Pushdown Automata….Pages 107-127
Modular Verification of Strongly Invasive Aspects….Pages 128-147
Classes of Service under Perfect Competition and Technological Change….Pages 148-169
On the Ontological Nature of Syntactic Categories in Categorial Grammar….Pages 170-176
Masking Gateway for Enterprises….Pages 177-191
No Syllogisms for the Numerical Syllogistic….Pages 192-203
Formal Grammars of Early Language….Pages 204-227
Hybrid BDD and All-SAT Method for Model Checking….Pages 228-244
Back Matter….Pages –
Reviews
There are no reviews yet.