Programming Language Implementation and Logic Programming: 4th International Symposium, PLILP'92 Leuven, Belgium, August 26–28, 1992 Proceedings

این جلد شامل مقالات پذیرفته شده برای ارائه در چهارمین سمپوزیوم بین المللی پیاده سازی زبان برنامه نویسی و برنامه نویسی منطقی (PLILP '92) است که در لوون، بلژیک، 26 تا 28 اوت 1992 برگزار شد. هدف این سمپوزیوم کاوش در موارد جدید مفاهیم، ​​روش‌ها و تکنیک‌های مربوط به پیاده‌سازی انواع زبان‌های برنامه‌نویسی، اعم از الگوریتمی یا اعلامی. در این سمپوزیوم محققانی از حوزه زبان های برنامه نویسی الگوریتمی و نیز برنامه نویسی منطقی، تابعی و شی گرا گرد آمدند. موضوعات مورد بحث در این جلد عبارتند از: - تکنیک های اجرای اعلامی. - پیاده سازی مفاهیم و ماژول های اعلامی. - مشخصات کامپایلر و ساخت. - تحول برنامه؛ - محیط های برنامه نویسی برای زبان های اعلامی. - ادغام برنامه نویسی منطقی با تکنیک های الگوریتمی، عملکردی یا شی گرا. - مشخصات اجرایی.

This volume contains the papers accepted for presentation at the Fourth International Symposium on Programming Language Implementation and Logic Programming (PLILP '92) held in Leuven, Belgium, August 26-28, 1992. Theaim of the symposium was to explore new declarative concepts, methods and techniques relevant for implementation of all kinds of programming languages, whether algorithmic or declarative. The symposium gathered researchers from the fields of algorithmic programming languages as well as logic, functional, and object-oriented programming. The topics discussed in the volume include: - Declarative implementation techniques; - Implementation of declarative concepts and modules; - Compiler specification and construction; - Program transformation; - Programming environments for declarative languages; - Amalgamation of logic programming with algorithmic, functional, or object-oriented techniques; - Executable specification.