libcats.org
Главная

Programming Languages.. Implementations, Logics, and Programs, 9 conf., PLILP'97

Обложка книги Programming Languages.. Implementations, Logics, and Programs, 9 conf., PLILP'97

Programming Languages.. Implementations, Logics, and Programs, 9 conf., PLILP'97

, ,
This volume constitutes the refereed proceedings of the 9th International Symposium on Programming Languages, Implementations, Logics and Programs, PLILP '97, held in Southampton, UK, in September 1997, including a special track on Declarative Programming in Education. The volume presents 25 revised full papers selected from 68 submissions. Also included are one invited paper and three posters. The papers are devoted to exploring the relation between implementation techniques, the logic of the languages, and the use of the languages in construcing real programs. Topics of interest include implementation of declarative concepts, integration of paradigms, program analysis and transformation, programming environments, executable specifications, reasoning about language constructs, etc.
Популярные книги за неделю:

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

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

Древо жизни

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

Contemporary Theatre, Film and Television, Volume 97

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

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

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

Болезнь

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

Special Report on Innovation

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

CityTrip Hamburg, 2. Auflage (Reiseführer)

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

Flow-Through (Bio)Chemical Sensors

Автор: , Автор:
Категория: Химия
Размер книги: 16.94 Mb

Gramatica Activa: 2

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

A Handbook of Ancient Religions

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

Traces in the Desert: Journeys of Discovery across Central Asia

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