monotone-frameworks

There are 1 repository under monotone-frameworks topic.

• wenkokke / MonoProc

  A framework for data-flow analysis of a simple imperative programming language.

  homeworkimperative-programming-languagedata-flow-analysismonotone-frameworks
  Language:Haskell 9

• meitinger / FrameworkAnalyzer

  Monotone Framework analyzer for WHILE language programs.

  monotone-frameworksparsimmonviz-jswhile-language
  Language:TypeScript 1