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
A GitLab upgrade is scheduled for Monday May 11th. The service will be unavailable from 9 am to 12. We'll keep you posted on the progress of the upgrade on the Mattermost channel: https://mattermost.inria.fr/devel/channels/gitlab. We recommend that you 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