Chrome Extension
WeChat Mini Program
Use on ChatGLM
VIPCreated with Sketch.

Deciding Program Properties via Complete Abstractions on Bounded Domains

Bruni Roberto,Gori Roberta,Manini Nicolas

Static Analysis（2022）

Cited 0|Views46
No score
Key words
Abstract interpretation,Complete abstraction,Bounded domains,Program transformation,Termination,Program equivalence
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined