Work

A Precise and Efficient Algorithm for Determining Existential Summary Data Flow Information ; CU-CS-175-80

Year: 1980

Type: report

Source: CU Scholar (University of Colorado Boulder)

Author: Eugene W. Meyers

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2567546000

Cites:

Cited by: 1

Related to: 10