|
|
libcats.org
Compiling Natural SemanticsMikael PetterssonNatural Semantics has become a popular tool among programming language researchers for specifying many aspects of programming languages. However, due to the lack of practical tools for implementation, the natural semantics formalism has so far largely been limited to theoretical applications. This book introduces the rational meta-language RML as a practical language for natural semantics specifications. The main part of the work is devoted to the problem of compiling natural semantics, actually RML, into highly efficient code. For this purpose, an effective compilation strategy for RML is developed and implemented in the rml2c compiler. This compiler ultimately produces low-level C code. Benchmarking results show that rml2c-produced code is much faster than code resulting from compilers based on alternative implementation approaches.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Encyclopedia of Islam & the Muslim WorldАвтор: Richard C. Martin, Автор: Said Amir Arjomand, Автор: Marcia Hermansen, Автор: Abdulkader Tayob, Автор: Rochelle Davis, Автор: John Obert VollКатегория: gale ecyclopedies, Arts, Humanities, Religion, Encyclopedia of Islam and the Muslim World
Размер книги: 29.11 Mb
Основы эргономики. Человек, пространство, интерьер. Справочник по проектным нормамАвтор: Панеро Д., Автор: Зелник М.
Размер книги: 32.24 Mb
Saints and Heroes Since the Middle AgesАвтор: George HodgesКатегория: История
Размер книги: 1.07 Mb
The Five Essential Steps in Digital Video: a DV moviemaker's tricks of the tradeАвтор: Denise Ohio
Размер книги: 4.83 Mb
The Theory of Splines and Their Applications (Mathematics in Science and Engineering 38)Автор: J.H. Ahlberg, Автор: E.N. Nilson, Автор: J.L. WalshКатегория: Техника
Размер книги: 3.97 Mb
|
|
|