16th European Conference on Object-Oriented Programming
University of Málaga, Spain
June 10-14, 2002
 
Technical pogramme > Workshops > Workshop #20
Welcome
General Information
Call for Contributions
Technical Programme
Useful Information
Social Programme
Registration

<< Site map >>
<< History file >>

   
Ecoop 2002 is organized in cooperation with:
 
Important dates
Oct 01
Nov 01
Dec 01
Jan 02
Feb 02
Apr 02
May 02
Jun 02

You are the visitor number

from 4th October 2001.

 


Workshop #20 - Formal Techniques for Java-like Programs (FTfJP)

Workshops
Monday WS02   WS04   WS06 WS07 WS08 WS12 WS18 WS19 WS20
Tuesday WS01 WS03 WS04 WS09 WS10 WS11 WS13 WS14 WS15 WS16 WS17

 

Abstract

At ECOOP'99, ECOOP'2000, and ECOOP'2001, workshops have been organized under the title "Formal Techniques for Java Programs". These all attracted in the order of 30 participants, and many asked us to arrange a fourth event on this topic.

The topic is formal techniques to analyze programs, to precisely describe program behavior, and to verify program properties. Whereas the earlier workshops were restricted to Java, we have chosen to widen the scope to include closely related languages such as C#.

Languages like Java and C# provide a good platform to bridge the gap between formal techniques and practical program development, because of their reasonably clear semantics and standardized libraries. Moreover, these languages are an interesting target 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.

Possible topics include:


specification techniques and interface speci cation 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

 

Organizers Erik Poll (Univ. of Nijmegen) (primary contact)
Susan Eisenbach (Imperial College)
Gary T. Leavens (Iowa State University)
Peter Mueller (Deutsche Bank)
Arnd Poetzsch-Heffter (FernUniversitaet Hagen)
Day Monday 10 Location (room) : 2.0.6
Workshop Home Page http://www.cs.kun.nl/~erikpoll/ftfjp/
Number of participants 10-40

 

Workshop #20 - Formal Techniques for Java-like Programs (FTfJP)

Last modified on May 20, 2002
Maintained by webmaster@2002.ecoop.org