|
|
libcats.org
Formal Syntax and Semantics of JavaJim Alves-FossJava, undoubtedly, has its roots in embedded systems and the Web. Nevertheless, it is a fully functional high-level programming language that can provide users with a wide range of functionality and versatility. This thoroughly cross-reviewed state-of-the-art survey is devoted to the study of the syntax and semantics of Java from a formal-methods point of view. It consists of the following chapters by leading researchers: Formal Grammar for Java; Describing the Semantics of Java and Proving Type Soundness; Proving Java Type Soundness; Machine-Checking the Java Specification: Proving Type-Safety; An Event-Based Structural Operational Semantics of Multi-Threaded Java Dynamic Denotational Semantics of Java; A Programmer's Reduction Semantics for Classes and Mixins; A Formal Specification of Java Virtual Machine Instructions for Objects, Methods and Subroutines; The Operational Semantics of a Java Secure Processor; A Programmer Friendly Modular Definition of the Semantics of Java.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Тестирование Дот Ком, или Пособие по жестокому обращению с багами в интернет-стартапахАвтор: Роман Савин
Размер книги: 5.26 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
КультураАвтор: Романов Пантелеймон СергеевичКатегория: Русская классическая проза
Размер книги: 8 Kb
ОУН - УПА в роки війни. Нові документи і матеріали.Автор: Владимир Сергийчук.Володимир Сергійчук.Категория: Военная история
Размер книги: 10.63 Mb
The economics of microfinanceАвтор: Beatriz Armendáriz, Автор: Jonathan Morduch
Размер книги: 2.01 Mb
Just My Soul Responding: Rhythm And Blues, Black Consciousness And Race RelationsАвтор: Brian Ward
Размер книги: 8.00 Mb
That Used to Be Us: How America Fell Behind in the World It Invented and How We Can Come BackАвтор: Thomas L. Friedman, Автор: Michael Mandelbaum
Размер книги: 530 Kb
The Global Economic System: How Liquidity Shocks Affect Financial Institutions and Lead to Economic CrisesАвтор: George Chacko, Автор: Carolyn L. Evans, Автор: Hans Gunawan, Автор: Anders L. Sjoman
Размер книги: 6.48 Mb
The Man Who Owns the News, Inside the Secret World of Rupert MurdochАвтор: Wolff MichaelКатегория: fiction
Размер книги: 260 Kb
|
|
|