#

jastadd

Here are 5 public repositories matching this topic...

lu-cs-sde / IntraJSCAM2021

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

bingrao / Scala-jastAdd

scala compiler jflex beaver jastadd scala-language expression-analysis

Updated Jul 12, 2017
Java

ilyasergey / Gradual-Ownership

Experimental implementation of Gradual Ownership Types for Java 1.4

java type-system gradual-typing ownership-types jastadd

Updated Mar 12, 2012

jgaltidor / JSONAntlrAntMavenJastadd

Sample Eclipse project that uses both ANLTR4 and JastAdd for implementing source code program analysis

java maven antlr jastadd

Updated Jan 31, 2016
Java

jgaltidor / VarJ

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

Improve this page

Add a description, image, and links to the jastadd topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the jastadd topic, visit your repo's landing page and select "manage topics."