Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

105

Voted

ESOP
1999
Springer

96views Programming Languages» more ESOP 1999»

A Programming Logic for Sequential Java

15 years 7 months ago

A Programming Logic for Sequential Java

Download sct.inf.ethz.ch

Arnd Poetzsch-Heffter, Peter Müller

Real-time Traffic

ESOP 1999 | Programming Languages |

claim paper

Related Content

» A Virtual Machine for Functional Logic Computations

» A SyntaxDirected Hoare Logic for ObjectOriented Programming Concepts

» Sequential Object Monitors

» Termination Analysis of Java Bytecode

» Precise Analysis of Memory Consumption using Program Logics

» Verifying safety properties of concurrent Java programs using 3valued logic

» A Formally Verified Calculus for Full Java Card

» A JMMFaithful Noninterference Calculus for Java

» Cooperative types for controlling thread interference in Java

Post Info
More Details (n/a)

Added	04 Aug 2010
Updated	04 Aug 2010
Type	Conference
Year	1999
Where	ESOP
Authors	Arnd Poetzsch-Heffter, Peter Müller

Comments (0)