Formal Techniques for Java-Like Programs

13 years 8 months ago

Download www.kestrel.edu

Abstract. This report gives an overview of the sixth Workshop on Formal Techniques for Java-like Programs at ECOOP 2004. It explains the motivation for the a workshop and summarises the presentations and discussions.

John Boyland, Dave Clarke, Gary T. Leavens, France

Real-time Traffic

Distributed And Parallel Computing | ECOOP | ECOOPW 2007 | Formal Techniques | Java-like Programs |

claim paper

Related Content

» Chai Traits for JavaLike Languages

» A Safe Implementation of Dynamic Overloading in JavaLike Languages

» A Structural Soundness Proof for Shiverss Escape Technique A Case for Galois Connections

» Using Informal and Formal Techniques for the Reverse Engineering of C Programs

» Formal Techniques for Java Programs

» Scaling Up the Formal Verification of Lustre Programs with SMTBased Techniques

» A Formal Comparison of Approaches to DatatypeGeneric Programming

» Formal verification of concurrent programs with readwrite locks

» A trace simplification technique for effective debugging of concurrent programs

Post Info
More Details (n/a)

Added	14 Aug 2010
Updated	14 Aug 2010
Type	Conference
Year	2007
Where	ECOOPW
Authors	John Boyland, Dave Clarke, Gary T. Leavens, Francesco Logozzo, Arnd Poetzsch-Heffter

Comments (0)

Sciweavers

Formal Techniques for Java-Like Programs

Distributed And Parallel Computing | ECOOP | ECOOPW 2007 | Formal Techniques | Java-like Programs |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers