ECOOP /
Workshop
07
Formal Techniques for Java-like Programs
Abstract
Formal techniques can help analyze programs, precisely describe program behavior, and verify program properties. Applying such techniques to object-oriented technology is especially interesting because: 1. The OO-paradigm forms the basis for the software component industry with their need for certification techniques. 2. Object orientation is widely used for distributed and network programming, where the value of formal techniques is well known. 3. The potential for reuse in OO-programming carries over to reusing specifications and proofs.
Newer languages such as Java and C# provide good platforms to bridge the gap between formal techniques and practical program development, because of their reasonably clear semantics and standardized libraries. Moreover, these languages are interesting targets for formal techniques, because the novel paradigm for program deployment introduced with Java, with its improved portability and mobility, opens up new possibilities for abuse and causes concern about security.
The work on formal techniques and tools for programs and formal underpinnings of the programming languages themselves complement each other. This workshop aims to bring together people working in these areas.
Main Topics
- specification techniques and interface specification languages
- specification of software components and library packages
- automated checking and verification of program properties,
- verification logics,
- language semantics,
- type systems,
- dynamic linking and loading,
- security issues
Paper Submission
| Type of Papers |
Extended abstracts |
Formatting
Size |
Submissions (up to 7 pages) must be electronic, either in Postscript or PDF format and prepared for USLetter or A4 page sizes. Springer LNCS-style is recommended. |
| Deadlines |
Submission
April 25th
Notification May 24th |
Details
|
top
