Projects with this topic
Sort by:
-
Abstract domain for function graphs, and fixpoint solvers based on them
Updated -
Static analyzers for higher-order languages
Updated
Exceptional GitLab maintenance is scheduled for June 24, 2025. The service will be unavailable between 8:00 am and 9:30 am. Please do not work on the platform until an announcement indicates that maintenance is complete.
Abstract domain for function graphs, and fixpoint solvers based on them
Static analyzers for higher-order languages