Formal Syntax and Semantics of Java : Lecture Notes in Computer Science - Jim Alves-Foss

Instant online reading.
Don't wait for delivery!

Formal Syntax and Semantics of Java

By: Jim Alves-Foss (Editor)

Write A Review

Paperback | 9 June 1999

At a Glance

Paperback
420 Pages

Dimensions(cm)
24.13 x 15.24 x 2.54

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

Java, 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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Programming & Software Development Object-Oriented Programming or OOP Programming & Scripting Languages Medicine Medicine in General Software Engineering Web Programming Computer Science Computer Architecture & Logic Design Compilers & Interpreters

Formal Grammar for Java	p. 1
Type Soundness
Describing the Semantics of Java and Proving Type Soundness	p. 41
Proving Java Type Soundness	p. 83
Machine-Checking the Java Specification: Proving Type-Safety	p. 119
Semantic Approaches
An Event-Based Structural Operational Semantics of Multi-threaded Java	p. 157
Dynamic Denotational Semantics of Java	p. 201
A Programmer's Reduction Semantics for Classes and Mixins	p. 241
A Formal Specification of JavaTM Virtual Machine Instructions for Objects, Methods and Subroutines	p. 271
The Operational Semantics of a Java Secure Processor	p. 313
A Programmer Friendly Modular Definition of the Semantics of Java	p. 353
Table of Contents provided by Publisher. All Rights Reserved.

Formal Syntax and Semantics of Java

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Web Programming

Coding For Dummies, All New Edition

For Dummies (Computer/Tech)

Python All-in-One For Dummies

3rd Edition

Web Engineering

Theory and Practice

Designing Semantic Knowledge Graphs

A Guide to Utilizing Semantic Web Technologies for Agile Data Management

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Beginner's Step-by-Step Coding Course

Learn Computer Programming the Easy Way

Fluent Python

Clear, Concise, and Effective Programming 2nd Edition

Learning Go

An Idiomatic Approach to Real-World Go Programming

PHP, MySQL, & JavaScript All-In-One For Dummies

For Dummies

Introduction to Machine Learning with Python

A Guide for Data Scientists

Architecture Patterns with Python

Enabling Test-Driven Development, Domain-Driven Design, and Event-Driven Microservices

Head First Design Patterns

Building Extensible and Maintainable Object-Oriented Software 2nd Edition

Laravel: Up & Running

3rd Edition - A Framework for Building Modern PHP Apps

Web Scraping with Python

3rd Edition - Data Extraction from the Modern Web

Apache Iceberg: The Definitive Guide

Data Lakehouse Functionality, Performance, and Scalability on the Data Lake

The Art of SEO

Mastering Search Engine Optimization

Python Cookbook

Recipes for Mastering Python : 3rd Edition

Cloud Computing

2nd Edition - Concepts, Technology, Security, and Architecture

Java

An Introduction to Problem Solving and Programming, 8th Global Edition

Developing Graphics Frameworks with Java and OpenGL

Python Polars: The Definitive Guide

Transforming, Analyzing, and Visualizing Data with a Fast and Expressive Dataframe API

Data Management at Scale

Modern Data Architecture with Data Mesh and Data Fabric

Learning Spark

Lightning-Fast Data Analytics

Beginner's Step-by-Step Coding Course

Learn Computer Programming the Easy Way

This product is categorised by