Experimental implementation of Gradual Ownership Types for Java 1.4
-
Updated
Mar 12, 2012
#
jastadd
Here are 6 public repositories matching this topic...
-
Updated
Jul 12, 2017 - Java
IntraJ is an application of the framework IntraCFG for the Java language. IEEESCAM2021
java static-analysis declarative control-flow-graph ieee cfg jastadd dataflow-analysis liveness lund-university nullpointerexception reference-attribute ieee-scam scam2021
-
Updated
Feb 6, 2023 - HTML
Java Generics Refactoring Tool for Inferring Wildcards
refactoring java scala wildcards generics program-analysis jastadd attribute-grammars refactoring-java-generics inferring-wildcards
-
Updated
Jan 12, 2015 - Java
Artifact related to the paper "Efficient Demand Evaluation of Fixed-Point Attributes using Static Analysis"
-
Updated
Nov 27, 2024 - Java
Improve this page
Add a description, image, and links to the jastadd topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the jastadd topic, visit your repo's landing page and select "manage topics."