|
|
libcats.org
European Symposium on Programming, 2 conf., ESOP '88Harald GanzingerThe 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.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Корабль мертвецовАвтор: Лифантьева Евгения ИвановнаКатегория: Социально-психологическая фантастика
Размер книги: 90 Kb
Teach Yourself J2EE in 21 Days [Java]Автор: Peter Roxburgh, Автор: Martin Bond, Автор: Debbie Law, Автор: Andy Longshaw, Автор: Dan Haywood, Автор: Martin Bond
Размер книги: 8.88 Mb
Народ збурений: Національно-визвольний рух в Україні й національні рухи опору в Білорусії, Литві, Латвії, Естонії у 1940–50-х рокахАвтор: Русначенко А.Категория: Военная история
Размер книги: 12.92 Mb
Working Class Lesbian Life: Classed Outsiders (York Studies on Women and Men)Автор: Yvette TaylorКатегория: Образование
Размер книги: 1.10 Mb
Introduction to Risk Calculation in Genetic Counseling, Third EditionАвтор: Ian D. Young (Author)
Размер книги: 2.88 Mb
Revealing the Hidden Contradictions in the Bible and Why We Don't Know About ThemАвтор: Ehrman Bart DКатегория: fiction
Размер книги: 285 Kb
|
|
|