Year: 2001
Type: article
Abstract: Formal techniques for Java programsFormal techniques can help analyze programs, precisely describe program behavior, and verify program properties.Applying such techniques to object-oriented technology is especially interesting because• the object-oriented (OO) paradigm forms the basis for the software component industry with their need for certification techniques, • it is widely used for distributed and network programming and • the potential for reuse in OO programming carries over to reusing specifications and proofs.Such formal techniques are sound, only if based on a formalization of the language itself.Java is a good platform to bridge the gap between formal techniques and practical program development.It plays an important role in these areas and is on the way to becoming a de facto standard because of its reasonably clear semantics and its standardized library.However, Java contains novel language features, which are not yet fully understood.More importantly, Java supports a novel paradigm for program deployment, and improves interactivity, portability and manageability.This paradigm opens new possibilities for abuse and causes concern about security.The ECOOP 2000 workshop on Formal Techniques for Java Programs was held in Sophia Antipolis, France.It was a follow-up for last year's ECOOP workshop on the same topic [1] and the Formal Underpinnings of the Java Paradigm workshop held at OOPSLA '98 [2].Proceedings containing all the papers are available as a technical report of the Computer Science Department of the FernUniversität Hagen [3].This special issue contains extended and refereed versions of four papers, selected from the best papers presented at the workshop.Eva Rose and Kristoffer Rose suggest in their paper 'Java access protection through typing' the integration of a dedicated read-only field access into the Java type system.The advantage is that
DOI: 10.1002/cpe.595
Authors: Susan Eisenbach, Gary T. Leavens
Institutions: Imperial College London, Iowa State University
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: bronze
OpenAlex ID: W2025275226