2nd European Symposium on Programming, Nancy, France, March 21-24, 1988 : proceedings /
نام نخستين پديدآور
H. Ganzinger, ed.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York :
نام ناشر، پخش کننده و غيره
Springer-Verlag,
تاریخ نشرو بخش و غیره
c1988.
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (vi, 379 p.) :
ساير جزييات
ill.
فروست
عنوان فروست
Lecture notes in computer science ;
مشخصه جلد
300.
يادداشت کلی
متن يادداشت
Held in conjunction with CAAP '88.
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographies and index.
یادداشتهای مربوط به مندرجات
متن يادداشت
Contents: Invited Speakers -- Program Development and Verification -- Algebraic Specification and Type Concepts -- Language Concepts -- Implementation of Programming Languages -- Systems Exhibition -- Author Index.
بدون عنوان
0
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
The volume contains the 23 papers selected for presentation at the ESOP '88 Conference, Nancy 1988. The theme of the ESOP conferences is the design, specification and implementation of programming languages and systems. Particular emphasis is placed on work in which an implemented system embodies an important concept or formal model of programming in such a way that its usefulness is demonstrated. Among the five sections of the volume, the one on language implementation contains the most papers. Here a rather wide spectrum of aspects, ranging from language implementation problems on parallel architectures and optimization of functional programs to new concepts for programming environments is covered. Another large section consists of papers in the area of algebraic specification and type concepts. The papers in this section are devoted to issues such as polymorphism, subtypes and notions of implementation and reuse for algebraic specifications. Two further sections are devoted to new language concepts and novel approaches to program development and verification.
یادداشتهای مربوط به نیازمندی های سیستم (منابع الکترونیک)و جزئیات فنی
متن يادداشت
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
ویراست دیگر از اثر در قالب دیگر رسانه
عنوان
ESOP '88.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer programming-- Congresses.
موضوع مستند نشده
Programming languages (Electronic computers)-- Congresses.
رده بندی ديویی
شماره
005
ويراست
19
رده بندی کنگره
شماره رده
QA76
.
6
نشانه اثر
.
E976
1988
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Ganzinger, H., (Harald),1950-
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
European Symposium on Programming(2nd :1988 :, Nancy, France)
نام تنالگان _ (مسئولیت معنوی برابر)
مستند نام تنالگان تاييد نشده
Colloquium on Trees in Algebra and Programming(13th :1988 :, Nancy, France)., CAAP '88.