翻訳と辞書 Words near each other ・ saber-c++ ・ sac ・ sac-1 ・ sac2 ・ sacadm ・ sacred ・ sad ・ sad sam ・ sadt ・ safari ・ safe ・ safe mode ・ safety ・ safety-critical system ・ saga ・ sagan ・ sage ・ saic ・ said ・ sail Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク safe ： FOLDOC safe A safe program analysis is one which will not reach invalid conclusions about the behaviour of the program. This may involve making safe approximations to properties of parts of the program. A safe approximation is one which gives less information. For example, strictness analysis aims to answer the question "will this function evaluate its argument"?. The two possible results are "definitely" and "don't know". A safe approximation for "definitely" is "don't know". The two possible results correspond to the two sets: "the set of all functions which evaluate their argument" and "all functions". A set can be safely approximated by another which contains it. スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.