mattmight's tags

abstract-counting   abstract-garbage-collection   abstract-interpretation   alias-analysis   anf   benchmarking   c   cek   cfa   cfl   compiler   compilers   constraint-solving   context-free-grammars   continuation   continuation-passing-style   control-flow-analysis   coq   coroutine   coroutine-fusion   cps   damas-milner   data-flow-analysis   delta-cfa   dependence   dependent-types   derivative   dissertation   dod   environment-analysis   error-correcting-codes   escape-analysis   exceptions   existential-cfa   flattening   frame-strings   functional-programming   galois-connection   gamma-cfa   ghc   grammars   graph-reachability   haskell   hoare-logic   information-theory   java   lambda-calculus   lexing   lfa   linear-type   llvm   logic-flow-analysis   macros   malware   ml   mlton   model-checking   non-nullability   no-tag   operating-systems   parallelization   parsing   partial-evaluation   pda   peer-review   peg   pointer-analysis   predicate-abstraction   pushdown-analysis   pushdown-automata   r5rs   reachability-analysis   register-allocation   regular-expressions   scala   scheme   security   sensor-nets   shape-analysis   sml   software-engineering   specification   ssa   stack   static-analysis   super-beta   symbolic-execution   termination   theorem-proving   transducer-fusion   tree-automata   tvla   type-based-analysis   type-inference   type-theory   ucombinator   verification   wcet