Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Ganzinger H. — European Symposium on Programming, 2 conf., ESOP '88
Ganzinger H. — European Symposium on Programming, 2 conf., ESOP '88

Читать книгу
бесплатно

Скачать книгу с нашего сайта нельзя

Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: European Symposium on Programming, 2 conf., ESOP '88

Автор: Ganzinger H.

Аннотация:

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.


Язык: en

Рубрика: Computer science/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 1988

Количество страниц: 386

Добавлена в каталог: 07.02.2014

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
Aiken, A.      221
Bahlke, R.      374
Barringer, H.      21
Bert, D.      376
Bertling, H.      378
Bretz, M.      160
Bruynooghe, M.      359
Consel, C.      236
De Hondt, M.      359
Declerfayt, O.      376
Demeuse, B.      376
Dietrich, R.      79
Drabik, P.      376
Ebert, J.      160
Echahed, R.      376
Fuh, Y.-C.      94
Ganzinger, H.      378
Gaudel, M.C.      115
Giegerich, R.      247
Gough, G.D.      21
Hagl, F.      79
Heckmann, R.      175 380
Horwitz, S.      1 269
Jacobs, D.      284
Kaes, S.      131
Kaplan, S.M.      191
Krieg-Briickner, B.      34
Langen, A.      284
Laville, A.      298
Legrand, R.      206
Martelli, A.      317
Mishra, P.      94
Moineau, Th.      115
Nicolau, A.      221
Nielson, F.      328
Nielson, H.R.      328
Parigot, M.      145
Reps, T.      1
Rossi, G.F.      317
Schaefers, R.      378
Schmal, K.      247
Schobbens, P.-Y.      376
Snelting, G.      374
Takayama, Y.      49
van Diepen, N.W.P.      64
Wadler, Ph.      344
Wautier, F.      376
Weemeeuw, P.      359
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2017
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте