Formal Syntax and Semantics of Java Image close
Formal Syntax and Semantics of Java
Formal Syntax and Semantics of Java
Show Hide Adult Content
Formal Syntax and Semantics of Java close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer Programming

Formal Syntax and Semantics of Java

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$151.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $37.75 with Afterpay Learn more

6 weekly interest-free payments of $25.17 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 25 Jun - 5 Jul using International Courier

Explore more Lecture Notes in Computer Science,

See all products in this series

Directions in Human Factors for Interactive Systems by Henry Ledgard
$140.00
Directions in Human Factors for Interactive Systems
by Henry Ledgard ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Semantics of Concurrent Computation
$138.00
Semantics of Concurrent Computation
Paperback / softback
Available - Usually ships in 3-4 weeks
Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985
$180.00
Mathematical Foundations of Software Development. Proceedings of the...
Paperback / softback
Available - Usually ships in 3-4 weeks
Learning and Intelligent Optimization
$152.00
Learning and Intelligent Optimization
Paperback / softback
Available - Usually ships in 3-4 weeks
Machine Learning and Data Mining in Pattern Recognition
$154.00
Machine Learning and Data Mining in Pattern Recognition
Paperback / softback
Available - Usually ships in 3-4 weeks
Ecoop 2000 Object-Oriented Programming: 14th European Conference, Sophia, Antipolis and Cannes, France, June 12-16, 2000 Proceedings on Paperback
$154.00
Ecoop 2000 Object-Oriented Programming: 14th European Conference,...
Paperback
Available - Usually ships in 3-4 weeks
Ada Software Tools Interfaces
$151.00
Ada Software Tools Interfaces
Paperback / softback
Available - Usually ships in 3-4 weeks
Combinators and Functional Programming Languages
$141.00
Combinators and Functional Programming Languages
Paperback / softback
Available - Usually ships in 3-4 weeks
Advanced Information Systems Engineering
$322.00
Advanced Information Systems Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
RIMS Symposium on Software Science and Engineering II
$161.00
RIMS Symposium on Software Science and Engineering II
Paperback / softback
Available - Usually ships in 3-4 weeks
Theory and Practice of Model Transformations
$148.00
Theory and Practice of Model Transformations
Paperback / softback
Available - Usually ships in 3-4 weeks
Principles and Practice of Constraint Programming - CP '95
$298.00
Principles and Practice of Constraint Programming - CP '95
Paperback / softback
Available - Usually ships in 3-4 weeks
Logic and Theory of Algorithms
$298.00
Logic and Theory of Algorithms
Paperback / softback
Available - Usually ships in 3-4 weeks
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications
$305.00
Progress in Pattern Recognition, Image Analysis, Computer Vision, and...
Paperback / softback
Available - Usually ships in 3-4 weeks
Product-Focused Software Process Improvement
$152.00
Product-Focused Software Process Improvement
Paperback / softback
Available - Usually ships in 3-4 weeks
Graph Transformation
$149.00
Graph Transformation
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

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.
Release date NZ
June 9th, 1999
Audience
  • Professional & Vocational
Contributor
  • Edited by Jim Alves-Foss
Illustrations
X, 410 p.
Pages
410
Dimensions
156x234x21
ISBN-13
9783540661580
Product ID
2835132

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Computer Programming
Books >
Computers & Internet >
Internet >
Internet languages
Books >
Computers & Internet >
Computer programming / software development >
Web programming