Work

A Precise Framework for Source-Level Control-Flow Analysis

Year: 2021

Type: other

DOI: 10.26226/morressier.613b54401459512fce6a7cef

Author: Idriss Riouak

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4230708322

Cites:

Cited by:

Related to: 10