|
|
libcats.org
Главная →
Applied Semantics: International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced LecturesApplied Semantics: International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced LecturesGilles Barthe, Peter Dybjer, Luis Pinto, Joao SaraivaThis book presents revised and extended versions of lectures given at an international summer school on applied semantics that took place in Caminha, Portugal in September. The nine lectures included present recent developments in programming language research in a coherent and systematic way. Among the topics addressed are - description of existing programming languages features - design of new programming languages features - implementation and analysis of programming languages - transformation and generation of programs - verification of programs.
Скачать книгу бесплатно (pdf, 3.23 Mb)
Читать «Applied Semantics: International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures » EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Introduction to Functional Programming (Prentice Hall International Series in Computing Science)Автор: Richard Bird, Автор: Philip WadlerКатегория: Математика, Прикладная математика
Размер книги: 4.73 Mb
The Clean Coder: A Code of Conduct for Professional Programmers (Robert C. Martin Series)Автор: Robert C. Martin
Размер книги: 6.06 Mb
Только что пользователи скачали эти книги:
Investigations of Laptev-Vasilev seminar at the Moscow UniversityАвтор: Evtushik(1994) Geometry of ordinary differential equations.
Размер книги: 2.49 Mb
Развитие общего среднего образования: проблемы и решения.Автор: Богуславский М. В.Категория: НАУКА и УЧЕБА
Размер книги: 4.79 Mb
Massachusetts General Hospital Handbook of General Hospital Psychiatry: Expert Consult - Online and Print (Expert Consult Title: Online + Print), 6 EdАвтор: Theodore A. Stern MD
Размер книги: 8.41 Mb
Модельный анализ развития континентальных мантийно-коровых рудообразующих системАвтор: Шарапов В.Н., Автор: Борисенко А.С., Автор: Мазуров М.П., Автор: Лебедев В.И., Автор: Павлова Г.А., Автор: Сотников В.И., Автор: Гаськов И.В., Автор: Пономарчук В.А., Автор: Житова Л.М., Автор: Перепечко Ю.В., Автор: Попов В.Н., Автор: Черепанова В.К., Автор: Черепанов А.Н.Категория: науки о земле
Размер книги: 5.49 Mb
Bad Girls III Anthology [Calamity Clarissa Accidental Love The Motivator Her Secret]Автор: Carlyle MichelleКатегория: fiction
Размер книги: 500 Kb
|
|
|