JHU-PL-Lab/sato JHU-PL-Lab/sato

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    OCaml
  • Created over 4 years ago
  • Updated about 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
JHU-PL-Lab/sato
github

JHU-PL-Lab

Reviews

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

Repository Details

Sato, the Symbolic Analysis Typechecker for Odefa, dynamically locates type errors using demand-driven symbolic execution.

More Repositories

1

jaylang

An implementation of DDSE: a demand-driven symbolic evaluator.
OCaml
10
star
2

odefa-proof-of-concept

Proof of concept of DDPA, a form of program analysis
OCaml
7
star
3

big-bang

Big Bang source repository
OCaml
6
star
4

whayrf

Proof-of-concept implementation of function patterns
OCaml
5
star
5

dde

Pure Demand Operational Semantics
OCaml
5
star
6

odefa

An ARCHIVED implementation of DDPA and related program analyses. This repository was split into separate projects when it became apparent that the related analyses would not be merged back into the DDPA branch. See the "ddpa", "ddse", and "sato" repositories in this organization.
Scheme
4
star
7

pdr-programming

A metaprogramming library which generates regular PDS descriptions based upon user-written straight-line code.
OCaml
3
star
8

layout-types

Layout Type Theory
OCaml
3
star
9

toy-language-dr

A derivative of the toy-language repository which has "proper" deep records rather than shallow records.
OCaml
3
star
10

CoPylot

Experimental repository for the application of DDPA-like analysis to a subset of Python.
OCaml
3
star
11

pds-reachability

A library for performing efficient reachability queries on abstractly specified push-down systems.
OCaml
3
star
12

ddpa

An implementation of DDPA, a higher-order demand-driven program analysis.
Scheme
3
star
13

jhupllib

An OCaml library of common tools and utilities.
OCaml
3
star
14

toy-language

A common basis for toy language development using a simple, shallow ANF
OCaml
3
star