CAAP '88: 13th Colloquium on Trees in Algebra and Programming Nancy, France, March 21–24, 1988 Proceedings

این جلد شامل مجموعه مقالات سیزدهمین کنفرانس درختان در جبر و برنامه ریزی (CAAP '88) است که در نانسی، 21 تا 24 مارس 1988 برگزار شد. 12 گفتگوی قبلی در فرانسه، ایتالیا و آلمان برگزار شد. CAAP '85 و CAAP '87 در کنفرانس مشترک بین‌المللی تئوری و عمل توسعه نرم‌افزار، TAPSOFT ادغام شدند (به یادداشت‌های سخنرانی در علوم کامپیوتر جلدهای 185 و 249 مراجعه کنید). به عنوان تلاش دیگری برای پیوند نظریه و عمل در علوم کامپیوتر، CAAP '88 همراه با سمپوزیوم اروپایی برنامه نویسی، ESOP '88 برگزار شد (جلد 300 این مجموعه یادداشت های سخنرانی را ببینید). CAAP '88 کنفرانسی در زمینه توسعه برنامه و مفاهیم برنامه نویسی است، اما، به پیروی از سنت، به جنبه های نظری، و به ویژه درختان، ساختار اساسی علوم کامپیوتر اختصاص دارد. طیف وسیع تری از موضوعات در علوم کامپیوتر نظری نیز پوشش داده شده است. مقاله‌ها در مورد زبان‌های کلمه، درخت یا نمودار، با مطالعات الگوریتمی یا پیچیدگی، در مورد انواع داده‌های انتزاعی (موضوع کلاسیک دیگری از CAAP) و/یا سیستم‌های بازنویسی اصطلاح و منطق‌های غیر استاندارد، و موازی‌سازی و همزمانی هستند.

This volume contains the proceedings of the 13th Colloquium on Trees in Algebra and Programming (CAAP '88), held in Nancy, March 21-24, 1988. The preceding 12 colloquia were held in France, Italy and Germany. CAAP '85 and CAAP '87 were integrated into the International Joint Conference on Theory and Practice of Software Development, TAPSOFT (see Lecture Notes in Computer Science volumes 185 and 249). As another effort to link theory and practice in computer science, CAAP '88 was held in conjunction with the European Symposium on Programming, ESOP '88 (see volume 300 of this Lecture Notes series). CAAP '88 is a conference in the area of program development and programming concepts but, following the tradition, is devoted to theoretical aspects, and especially to Trees, a basic structure of computer science. A wider range of topics in theoretical computer science is also covered. The papers are on word, tree or graph languages, with algorithmic or complexity studies, on abstract data types (another classical topic of CAAP) and/or term rewriting systems and on non-standard logics, and parallelism and concurrency.