Work

Java bytecode verification via static single assignment form

Year: 2008

Type: article

Source: ACM Transactions on Programming Languages and Systems

DOI: 10.1145/1377492.1377496

Authors: Andreas Gal, Christian W. Probst, Michael Franz

Institutions: University of California, Irvine, Technical University of Denmark

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funders: National Science Foundation, Office of Naval Research

Awards: Practical Language-Based Security, From The Ground Up, G252073427

OpenAlex ID: W1970927204

FWCI: 0.662

Cites: 11

Cited by: 6

Related to: 10