lu-cs-sde/IntraJSCAM2021 lu-cs-sde/IntraJSCAM2021

  • Stars
    star
    1
  • Language
    HTML
  • License
    BSD 3-Clause "New...
  • Created over 3 years ago
  • Updated almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
lu-cs-sde/IntraJSCAM2021
github

lu-cs-sde

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

IntraJ is an application of the framework IntraCFG for the Java language. IEEESCAM2021

More Repositories

1

codeprober

Tool implementing Property Probes
JavaScript
16
star
2

metadl

MetaDL: Datalog analyzing Datalog, Java or any language of your choice
Java
16
star
3

IntraJ

IntraJ repository
Java
6
star
4

EzSkiROS

EzSkiROS: An embedded Domain Specific Language (DSL) to describe robotic skills in SkiROS. EzSkiROS allows reobot developers to catch bugs at launch time, i.e. before running the robot.
2
star
5

JFeature

JFeature is a static analysis tool designed to help researchers extract information on Java features usage in their projects.
Java
2
star
6

metadl-jastadd

A clone of the JastAdd2 project (https://bitbucket.org/jastadd/jastadd2/) with MetaDL specific changes.
Java
1
star
7

sppf-earley-parser

Java
1
star