Lecture Notes in Computer Science : Lecture Notes in Computer Science - Jim Alves-Foss

Instant online reading.
Don't wait for delivery!

Lecture Notes in Computer Science

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 $89.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.

Lecture Notes in Computer Science

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Software Engineering

Federated Learning for Healthcare

Applications with Case Studies

Mobile and Ubiquitous Systems: Computing, Networking and Services

22nd EAI International Conference, MobiQuitous 2025, Shanghai, China, November 7-9, 2025, Proceedings, Part I

The Essence of Software Engineering

Code

2nd Edition - The Hidden Language of Computer Hardware and Software

The Manager`s Path

A Guide for Tech Leaders Navigating Growth and Change

Building Microservices

Designing Fine-Grained Systems 2nd Edition

Coding All-in-One For Dummies

2nd Edition

Refactoring 2ed

Improving the Design of Existing Code

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Architecture Patterns with Python

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

Swim Training Patterns

1st Edition - Plan your Training Sessions with the Power of Mathematics

Hacking For Dummies

For Dummies (Computer/Tech)

Git : Pocket Guide

A Working Introduction

Arduino for Dummies

Blackwell Philosophy Anthologies

Web Application Security

2nd Eidtion - Exploitation and Countermeasures for Modern Web Applications

C# 12 Pocket Reference

Instant Help for C# 12 Programmers

Typescript Cookbook

Real World Type-Level Programming

Learning Modern C++ for Finance

Foundations for Quantitative Programming

Go Cookbook

Expert Solutions for Commonly Needed Go Tasks

The Engineering Leader

Strategies for Scaling Teams and Yourself

C# 12 in a Nutshell

The Definitive Reference

User Story Mapping

Discover the Whote Story, Build the Right Product

Site Reliability Engineering

How Google Runs Production Systems

Architectural Approach to Level Design

Second edition

This product is categorised by