Functional and Logic Programming: 4th Fuji International Symposium, FLOPS’99 Tsukuba, Japan, November 11-13, 1999 Proceedings

این جلد شامل مقالات ارائه شده در چهارمین S-Posium بین‌المللی فوجی در برنامه‌نویسی عملکردی و منطقی (FLOPS'99) است که در تسوکوبا، ژاپن، 11 تا 13 نوامبر 1999 برگزار شد و توسط آزمایشگاه الکتروتکنیکال (ETL) میزبانی شد. FLOPS یک انجمن برای ارائه و بحث در مورد تمام مسائل مربوط به برنامه نویسی تابعی، برنامه نویسی منطقی و یکپارچه سازی آنها است. این سمینار تقریباً هر 1.5 سال یکبار در ژاپن برگزار می شود. جلسات قبلی FLOPS در فوجی سوسونو (1995)، روستای شونان (1996) و کیوتو (1998) برگزار شد. 1 51 ارسال از اتریش ( )، بلژیک (2)، برزیل (3)، چین 3 3 1 7 (1)، دانمارک (2)، فرانسه (3)، آلمان (8)، ایرلند (1)، اسرائیل ( )، ایتالیا (1)، 4 3 12 1 ژاپن (9)، کره (1)، مراکش (1)، هلند (1)، نیوزیلند (1)، 3 1 1 3 5 پرتغال ()، سنگاپور ( اسلواکی (1)، اسپانیا (4)، سوئد (1)، بریتانیا (4)، 2 3 4 6 1 و ایالات متحده آمریکا (2)، که کمیته برنامه 21 مورد را برای ارائه انتخاب کرد. علاوه بر این، این جلد شامل مقالات کامل دو سخنران دعوت شده، آتسوشی اوهوری و ماریو رودر گئز-آرتالجو است.

This volume contains the papers presented at the 4th Fuji International S- posium on Functional and Logic Programming (FLOPS’99) held in Tsukuba, Japan, November 11–13, 1999, and hosted by the Electrotechnical Laboratory (ETL). FLOPS is a forum for presenting and discussing all issues concerning functional programming, logic programming, and their integration. The sym- sium takes place about every 1.5 years in Japan. Previous FLOPS meetings were held in Fuji Susuno (1995), Shonan Village (1996), and Kyoto (1998). 1 There were 51 submissions from Austria ( ),Belgium (2),Brazil(3),China 3 3 1 7 (1), Denmark (2), France (3 ), Germany (8), Ireland (1), Israel ( ), Italy (1 ), 4 3 12 1 Japan (9 ), Korea (1), Morocco (1), The Netherlands (1), New Zealand (1), 3 1 1 3 5 Portugal ( ), Singapore ( ), Slovakia (1), Spain (4 ), Sweden (1), UK (4 ), 2 3 4 6 1 and USA (2 ), of which the program committee selected 21 for presentation. In 4 addition, this volume contains full papers by the two invited speakers, Atsushi Ohori and Mario Rodr´?guez-Artalejo.