Academic Journal
Logic Journal of the IGPL, Vol. 9, No. 3
| العنوان: | Logic Journal of the IGPL, Vol. 9, No. 3 |
|---|---|
| المؤلفون: | Dov M. Gabbay, Ruy De Queiroz, Hans J Urgen Ohlbach, Jon Barwise (deceased, Wilfrid Hodges, Hans Kamp, Robert Kowalski, Ewa Orlowska, Amir Pnueli, Vaughan Pratt, Saharon Shelah, Johan Van Benthem |
| المساهمون: | The Pennsylvania State University CiteSeerX Archives |
| المصدر: | http://www.cee.hw.ac.uk/~fairouz/papers/edited-volumes/V93.ps. |
| سنة النشر: | 2001 |
| المجموعة: | CiteSeerX |
| الوصف: | The -calculus integrates in a uniform and simple setting rst-order rewriting, -calculus and nondeterministic computations. Its abstraction mechanism is based on the rewrite rule formation and its main evaluation rule is based on matching modulo a theory T . In this rst part, the calculus is motivated and its syntax and evaluation rules for any theory T are presented. In the syntactic case, i.e. when T is the empty theory, we study its basic properties for the untyped case. We rst show how it uniformly encodes -calculus as well as rst-order rewriting derivations. Then we provide sucient conditions for ensuring conuence of the calculus. Keywords: rewriting, strategy, non-determinism, matching, rewriting-calculus, lambda-calculus, rule based language. 1 |
| نوع الوثيقة: | text |
| وصف الملف: | application/postscript |
| اللغة: | English |
| Relation: | http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.1862; http://www.cee.hw.ac.uk/~fairouz/papers/edited-volumes/V93.ps |
| الاتاحة: | http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.1862 http://www.cee.hw.ac.uk/~fairouz/papers/edited-volumes/V93.ps |
| Rights: | Metadata may be used without restrictions as long as the oai identifier remains attached to it. |
| رقم الانضمام: | edsbas.FA2393A5 |
| قاعدة البيانات: | BASE |
| الوصف غير متاح. |