deeglaze/small-mcfa deeglaze/small-mcfa

  • Stars
    star
    1
  • Language
    Racket
  • Created about 10 years ago
  • Updated about 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
deeglaze/small-mcfa
github

deeglaze

Reviews

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

Repository Details

A reference implementation for a fast abstract interpreter, using the mcfa allocation strategy.

More Repositories

1

scribble-latex-utils

Different useful things I have come up with to write my papers in scribble rather than directly in LaTeX
Racket
13
star
2

Typed-Racket-SMT-type-checker

An SMT solver with an interactive interface so it can be used as an inference engine.
Racket
11
star
3

macro-models

Typed Racket implementations of macro expander models from Matthew Flatt
Racket
9
star
4

slideshow-helpers

Combinators and pict constructors I have found useful for writing slideshow presentations.
Racket
3
star
5

Abstract-Redex

An implementation of core PLT Redex semantics that is translated through the Abstracting Abstract Machines systematic abtraction process.
Racket
2
star
6

polymorphic-splitting-port

A Racket port of Suresh Jagannathan's and Andrew Wright's Polymorphic Splitting implementation.
Racket
2
star
7

nifty-macros

A collection of general-purpose macros I've written and find generally useful.
Racket
2
star
8

Generalized-CFA2

An extension to Vardoulakis' CFA2 to work with any sound escape analysis.
Racket
1
star
9

arctic-circle

Simple program for illustrating random Aztec tilings for the Arctic circle theorem
Racket
1
star
10

AAM-ify

A redex-inspired language of operational semantics with an automatic "abstracting abstract machines" transformation.
Racket
1
star
11

temporal-aam

Racket
1
star
12

deeglaze-talks

The code and materials to my various talks, so people can replicate slides, etc.
Racket
1
star