SafeGen

MaRDI QIDQ14612swMATHFDO

Official website http://www.cs.umass.edu/~yannis/safegen.pdf

Described by source

• Statically safe program generation with SafeGen

Cited in

(2)

• Metaphor
• A type system for reflective program generators

This page was built for software: SafeGen