Work

Defining the Java Virtual Machine as platform for provably correct Java compilation

Year: 1998

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/bfb0055755

Authors: Egon Börger, Wolfram Schulte

Institutions: University of Pisa, Universität Ulm

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2154978557

FWCI: 3.669

Cites: 2

Cited by: 35

Related to: 10