Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Basic Structure for the Abstract Interpretation #378

Closed
3 tasks done
EagleoutIce opened this issue Oct 6, 2023 · 0 comments · Fixed by #397
Closed
3 tasks done

Basic Structure for the Abstract Interpretation #378

EagleoutIce opened this issue Oct 6, 2023 · 0 comments · Fixed by #397
Assignees
@LukasPietzschmann
Labels
abstract interpretation Related to abstract interpretation

Comments

@EagleoutIce
Copy link
Member

EagleoutIce commented Oct 6, 2023 •
edited by LukasPietzschmann
Loading

A basic class/interface
It should receive the dataflow and the normalized AST as an input, and produce the result of the abstract interpretation (whatever it may be) as an output.

In short:

  • A basis interface for the Abstract Interpretation
  • Basic API (Sessions, etc.)
  • Datastructures for the intervals and processing of the operations (+, -, ...)

It would be nice to get a minimal test example, which, for example, labels the dataflow as "OK" (in whatever form you want).
@EagleoutIce EagleoutIce converted this from a draft issue Oct 6, 2023
@LukasPietzschmann LukasPietzschmann self-assigned this Oct 6, 2023
@LukasPietzschmann LukasPietzschmann added the abstract interpretation Related to abstract interpretation label Oct 6, 2023
@EagleoutIce EagleoutIce changed the title Grundstruktur für Abstract Interpretation Basic Structure for the Abstract Interpretation Oct 6, 2023
@LukasPietzschmann LukasPietzschmann linked a pull request Oct 12, 2023 that will close this issue
Basic Structure for the Abstract Interpretation #397
Merged
@github-project-automation github-project-automation bot moved this from Todo to Done in Abstract Interpretation Jan 26, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@LukasPietzschmann LukasPietzschmann

Labels
abstract interpretation Related to abstract interpretation
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Basic Structure for the Abstract Interpretation flowr-analysis/flowr
2 participants
@EagleoutIce @LukasPietzschmann