Work

Demanded Abstract Interpretation

Year: 2022

Type: dissertation

Source: CU Scholar (University of Colorado Boulder)

Author: Stein, Benno

Institution: University of Colorado Boulder

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: National Science Foundation

Award: SHF: Small: Collaborative Research: Online Verification-Validation

OpenAlex ID: W3151652064

Cites: 42

Cited by: 19

Related to: 10