|
|
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
Только что пользователи скачали эти книги:
Теоремы и задачи по алгебре и элементарным функциямАвтор: Сивашинский И.Х.Категория: Mathematics, School-level
Размер книги: 4.30 Mb
Medical Microbiology, Updated Edition: With STUDENT CONSULT Online AccessАвтор: Cedric Mims BSc MD FRCPath, Автор: Hazel Dockrell MD, Автор: Richard Goering MD PhD, Автор: Ivan Roitt MA DSc(Oxon) Hon FRCP(Lond) FRCPath FRS, Автор: Derek Wakelin BSc PhD DSc FRCPath, Автор: Mark Zuckerman MB BS(London) MSc BSc MRCP MRCPathКатегория: MEDICINE
Размер книги: 75.37 Mb
Google Business Solutions and Tools: 100 Success Secrets to Reach new customers, Enhance your website and Increase your productivityАвтор: Daniel Collins
Размер книги: 592 Kb
Nationalist Voices in Jordan: The Street and the StateАвтор: Betty Signe Anderson
Размер книги: 1.46 Mb
Doobie Brothers Guitar Anthology (Guitar Anthology Series)Автор: Danny Begelman
Размер книги: 8.32 Mb
Spectral Theory and Mathematical Physics: A Festschrift in Honor of Barry Simon's 60th Birthday. Part 1: Quantum Field Theory, Statistical Mechanics, and Nonrelativistic Quantum SystemsАвтор: Fritz Gesztesy, Автор: Percy Deift, Автор: Cherie Galvez, Автор: Peter Perry, Автор: Wilhelm Schlag (Editors)
Размер книги: 4.67 Mb
|
|
|