14. The computer program product of claim 11 , wherein the semantic analysis condition includes a criterion relating to a procedure in the binary input library.
14. The computer program product of claim 11 , wherein the semantic analysis condition includes a criterion relating to a procedure in the binary input library. 15. The computer program product of claim 14 , wherein the procedure is a software method.