program-transformations

There are 0 repository under program-transformations topic.

• namin / lambdajam

  Workshop on Program Transformations

  program-transformationsschemeworkshop
  Language:Scheme 26

• petur-a / masters

  Developing a type system for a minimal reversible functional language.

  semanticsmaster-thesistype-theoryfunctional-programmingreversible-programming-languagelinear-logicfirst-match-policydikuoperational-semanticstype-classesprogram-transformations
  Language:TeX 7

• michael-emmi / bam-bam-boogieman

  Boogie AST Manipulator

  boogieprogram-transformations
  Language:Boogie 5

• mmottl / fun-trans

  A framework for automated transformation of functional programs (e.g. partial evaluation, common subexpression elimination, etc.) written in LambdaProlog.

  higher-order-logicprologprogram-transformationsmonads
  Language:Vim Script 2

• itu-square / SymexTRON

  Symbolic Executor for the High-Level Transformation Language TRON

  model-transformationsprogram-transformationsscalasymbolic-executiontransformationstron
  Language:Scala 1

• okue / GD

  DSL: automatic derivation of greedy algorithm and dynamic programming

  haskellgreedy-algorithmdynamic-programmingsmt-solverprogram-transformations
  Language:Haskell