Code-carrying theory

Aytekin Vargun, David R. Musser
2008 Proceedings of the 2008 ACM symposium on Applied computing - SAC '08  
An Abstract of a Thesis Submitted to the Graduate
doi:10.1145/1363686.1363780 dblp:conf/sac/VargunM08 fatcat:4v52prelxnhmzjk5quc4ggzqde