Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

Vortragsankuendigung: Egon Boerger, Fr 5. Mai

0 views
Skip to first unread message

Robert Baumgartner

unread,
Apr 21, 2000, 3:00:00 AM4/21/00
to

Egon Boerger

Dipartimento di Informatica, Universita di Pisa
currently visiting Microsoft Research, Redmond

Fri 5. Mai Seminarraum DBAI 184/2
14:00 s.t. Favoritenstr. 9, 3. Stk.

Eingeladener Vortrag im Rahmen des Seminars
aus Informatik (G.Gottlob)


--------------------------------------------------
A Modular Definition of Java and of its
Implementation on the JVM
--------------------------------------------------

We provide a machine and system independent definition
of Java at the level of abstraction at which the
language is seen by the programmer. We directly reflect
the description in the Java language reference manual
so that the basic design decisions can be checked by
standardizers and implementors against a clear
mathematical model.

We provide a similar definition for the Java Virtual
Machine, as described in the JVM reference manual, to be
used in particular as target machine for the implementation
of Java. The modularity of our definitions for Java, the
JVM and the compilation scheme exhibit orthogonal language,
machine and compiler components, which fit together and
provide the basis for a stepwise and provably correct
design--for--reuse. As a by-product we provide a
challenging realistic case study for mechanical
verification of a compiler correctness proof.

(Joint work with Wolfram Schulte, Microsoft Research)


#####################################################################
Informationsdienst Inst. f. Informationssysteme, Abt. f. Datenbanken
und Artificial Intelligence TU Wien E184/2. Fuer regelmaessige Zusendung
dieser Nachrichten senden Sie email an list...@dbai.tuwien.ac.at,
mit "SUB PUBLIC <Ihr Name>" als einziger Zeile (kein Subject).
Siehe auch http://www.dbai.tuwien.ac.at/marchives/public/


0 new messages