libcats.org
Главная

European Symposium on Programming, 2 conf., ESOP '88

Обложка книги European Symposium on Programming, 2 conf., ESOP '88

European Symposium on Programming, 2 conf., ESOP '88

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.
Популярные книги за неделю:

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Древо жизни

Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Здоровье надо созидать

Автор:
Категория: Здоровье
Размер книги: 363 Kb
Только что пользователи скачали эти книги:

Джимми Коррэл

Автор:
Размер книги: 7 Kb

Евгений Панаско. Десант из прошлого

Автор:
Размер книги: 239 Kb

Options, futures and other derivatives

Автор:
Размер книги: 11.86 Mb

Quantitative Genetics, Genomics and Plant Breeding (Cabi)

Автор:
Размер книги: 6.17 Mb

The Fellowship of the Ring

Автор:
Размер книги: 2.27 Mb

Veterinary Practice Management Secrets

Автор: , Автор:
Размер книги: 6.56 Mb

Die Regentrude

Автор:
Категория: fiction
Размер книги: 203 Kb