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

ВАЗ 2110i, -2111i, -2112i

Автор:
Категория: civil, civil, transport
Размер книги: 57.35 Mb

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

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

Древо жизни

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

Шликерное литье

Автор:
Категория: science, science, technical
Размер книги: 5.98 Mb
Только что пользователи скачали эти книги:

Organic Syntheses

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

Расчет самолета на прочность

Автор: , Автор:
Категория: Aviation books
Размер книги: 3.02 Mb

Eat and Run: My Unlikely Journey to Ultramarathon Greatness

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

Pro Spring 3

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

Tyrant Moon

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