Abstract
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.
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.
| Original language | English |
|---|---|
| Place of Publication | Berlin |
| Publisher | Springer Berlin Heidelberg |
| Number of pages | 245 |
| Edition | 1 |
| ISBN (Electronic) | 978-3-642-01748-3 |
| ISBN (Print) | 978-3-642-01747-6 |
| DOIs | |
| State | Published - 12 May 2009 |
Publication series
| Name | Lecture Notes in Computer Science |
|---|---|
| Publisher | Springer Berlin Heidelberg |
| Volume | 5533 |
| ISSN (Print) | 0302-9743 |
| ISSN (Electronic) | 1611-3349 |
Keywords
- Computer programming
- Programming languages (Electronic computers)
- لغات البرمجة (أجهزة الكمبيوتر الإلكترونية)
- برمجة الحاسوب
- שפות תכנות מחשבים
- תכנות מחשבים
Fingerprint
Dive into the research topics of 'Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver