Work

A simple, comprehensive type system for Java bytecode subroutines

Year: 1999

Type: conference-paper

Source: ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)

DOI: 10.1145/292540.292549

Author: Robert O'Callahan

Institution: Carnegie Mellon University

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1966130668

FWCI: 5.085

Cites: 9

Cited by: 55

Related to: 10