fiigii/AbstractInterpretation fiigii/AbstractInterpretation

  • Stars
    star
    1
  • Language
    Haskell
  • License
    MIT License
  • Created almost 9 years ago
  • Updated almost 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
fiigii/AbstractInterpretation
github

fiigii

Reviews

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

Repository Details

Context-sensitive control flow analysis (k-CFA) for my fJS language with Abstract Interpretation approach.

More Repositories

1

PacketTracer

The SIMD-accelereted ray tracing in C# powered by Intel hardware intrinsic of .NET Core.
C#
112
star
2

gomoku-CommonLisp

A web version of Gomoku game implemented in Common Lisp.
Common Lisp
12
star
3

JsCFA-prototype

Abstract Interpreter for JavaScript with perfect call/return matching.
Scala
9
star
4

devirtualization

Devirtualization (convert dynamic dispatch to direct function call) optimization for a subset Scala
Scala
6
star
5

fJS

A statically typing programming language implemented in Haskell.
Haskell
5
star
6

k-cfa

Context-sensitive control flow analysis (k-CFA) for my fJS language.
Haskell
3
star
7

dataflow

Data flow analysis for a subset of JavaScript
Haskell
2
star
8

Master-Thesis

My Master Thesis: h-CFA A Simplified Approach for Pushdown Control Flow Analysis
TeX
1
star
9

control-flow

Control flow analysis (0-CFA) for my fJS language.
Haskell
1
star