Tag: hardware


Archive

automated-testing code-formatting compiler computer-algebra design dragon-curves fabrication floating-point knitting l-systems oracle-generation outreach polynomial pretty-printing security side-channels space synthesis testing time undergraduate-pl verification verilog weaving compilers education equality-saturation pluggable-types program-optimization type-checking type-inference hardware