|
|
libcats.org
Java and the Java Virtual Machine: Definition, Verification, ValidationRobert F. Stärk, Joachim Schmid, Egon BörgerThis book provides a high-level description, together with a mathematical and an experimental analysis, of Java and of the Java Virtual Machine (JVM), including a standard compiler of Java programs to JVM code and the security critical bytecode verifier component of the JVM. The description is structured into language layers and machine components. It comes with a natural executable refinement (written in AsmGofer and provided on CD ROM) which can be used for testing code. The method developed for this purpose is based on Abstract State Machines (ASMs) and can be applied to other virtual machines and to other programming languages as well. The book is written for advanced students and for professionals and practitioners in research and development who need a complete and transparent definition and an executable model of the language and of the virtual machine underlying its intended implementation.
Скачать книгу бесплатно (pdf, 2.38 Mb)
Читать «Java and the Java Virtual Machine: Definition, Verification, Validation» EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Момент истины (В августе сорок четвертого...)Автор: Богомолов Владимир ОсиповичКатегория: О войне
Размер книги: 1.83 Mb
Только что пользователи скачали эти книги:
Внутренние санитарно-технические устройства. Часть З. Вентиляция и кондиционирование воздухаАвтор: Староверов И.Г. (ред)
Размер книги: 6.99 Mb
Model-Based Software Testing and Analysis with C#Автор: Jonathan Jacky, Автор: Margus Veanes, Автор: Colin Campbell, Автор: Wolfram Schulte
Размер книги: 2.99 Mb
Измерения в электроникеАвтор: Кузнецов В. А., Автор: Долгов В. А., Автор: Коневских В. М. и др.Категория: АППАРАТУРА
Размер книги: 32.35 Mb
Settlement Houses Under Siege: the struggle to sustain community organizations in New York cityАвтор: Michael B. Fabricant, Автор: Robert Fisher
Размер книги: 872 Kb
The Perils of Federalism: Race, Poverty, and the Politics of Crime ControlАвтор: Lisa L. MillerКатегория: Общественные науки прочие, Политика
Размер книги: 936 Kb
Оборотная сторонаАвтор: Дружинина АлександраКатегория: Юмористическая фантастика
Размер книги: 1.49 Mb
|
|
|