Read Proving Java Type Soundness

Proving Java Type Soundness

Don Syme

4.9/5 (24612 ratings)

Description:Abstract: "This technical report describes a machine checked proof of the type soundness of a subset of the Java language called Java[subscript S]. A formal semantics for this subset has been developed by Drossopoulou and Eisenbach, and they have sketched an outline of the type soundness proof. The formulation developed here complements their written semantics and proof by correcting and clarifying significant details; and it demonstrates the utility of formal, machine checking when exploring a large and detailed proof based on operational semantics. The development also serves as a case study in the application of 'declarative' proof techniques to a major property of an operational system."We have made it easy for you to find a PDF Ebooks without any digging. And by having access to our ebooks online or by storing it on your computer, you have convenient answers with Proving Java Type Soundness. To get started finding Proving Java Type Soundness, you are right to find our website which has a comprehensive collection of manuals listed.
Our library is the biggest of these that have literally hundreds of thousands of different products represented.

Pages: 40

Format: PDF, EPUB & Kindle Edition

Publisher: —

Release: 1997

ISBN: XOMhAQAAIAAJ

Description: Abstract: "This technical report describes a machine checked proof of the type soundness of a subset of the Java language called Java[subscript S]. A formal semantics for this subset has been developed by Drossopoulou and Eisenbach, and they have sketched an outline of the type soundness proof. The formulation developed here complements their written semantics and proof by correcting and clarifying significant details; and it demonstrates the utility of formal, machine checking when exploring a large and detailed proof based on operational semantics. The development also serves as a case study in the application of 'declarative' proof techniques to a major property of an operational system."We have made it easy for you to find a PDF Ebooks without any digging. And by having access to our ebooks online or by storing it on your computer, you have convenient answers with Proving Java Type Soundness. To get started finding Proving Java Type Soundness, you are right to find our website which has a comprehensive collection of manuals listed.
Our library is the biggest of these that have literally hundreds of thousands of different products represented.

Special Offer | $0.00

Special Offer! | $0.00

Proving Java Type Soundness

Proving Java Type Soundness

More Books

Expert F# 4.0

Expert F# 4.0

Expert F# 2.0

Expert F# 2.0

Expert F# 3.0 (Expert's Voice in F#)

Expert F# 3.0 (Expert's Voice in F#)

[(Expert F# 3.0 )] [Author: Don Syme] [Nov-2012]

[(Expert F# 3.0 )] [Author: Don Syme] [Nov-2012]

Expert F# 4.0 by Don Syme (2015-12-21)

Expert F# 4.0 by Don Syme (2015-12-21)

[(Expert F# )] [Author: Don Syme] [Dec-2007]

[(Expert F# )] [Author: Don Syme] [Dec-2007]

Expert F# (Expert's Voice in .NET) by Don Syme (2-Aug-2011) Hardcover

Expert F# (Expert's Voice in .NET) by Don Syme (2-Aug-2011) Hardcover

Expert F# 2.0 (Expert's Voice in F#)

Expert F# 2.0 (Expert's Voice in F#)

Expert F# 3.0 (Expert's Voice in F#) by Don Syme (2012-10-30)

Expert F# 3.0 (Expert's Voice in F#) by Don Syme (2012-10-30)