A methodology for generating verified combinatorial circuits Export

@inproceedings{1017794, address = {New York, NY, USA}, author = {Kiselyov, Oleg and Swadi, Kedar N. and Taha, Walid}, booktitle = {EMSOFT '04: Proceedings of the 4th ACM international conference on Embedded software}, citeulike-article-id = {949772}, citeulike-linkout-0 = {http://dx.doi.org/10.1145/1017753.1017794}, doi = {10.1145/1017753.1017794}, keywords = {abstract-interpretation, code-generation, metaocaml, monads}, pages = {249--258}, posted-at = {2006-11-17 05:25:16}, priority = {0}, publisher = {ACM Press}, title = {A methodology for generating verified combinatorial circuits}, url = {http://doi.acm.org/10.1145/1017753.1017794}, year = {2004} }

TY - CONF ID - 1017794 L3 - citeulike-article-id:949772 AD - New York, NY, USA EP - 258 TI - A methodology for generating verified combinatorial circuits PB - ACM Press T2 - EMSOFT '04: Proceedings of the 4th ACM international conference on Embedded software SP - 249 KW - abstract-interpretation KW - code-generation KW - metaocaml KW - monads AU - Kiselyov, Oleg AU - Swadi, Kedar AU - Taha, Walid PY - 2004/// UR - http://dx.doi.org/10.1145/1017753.1017794 ER -