Searched refs:protect (Results 26 - 27 of 27) sorted by relevance

12

/barrelfish-master/usr/eclipseclp/Kernel/lib/
H A D	kernel.pl	3765 set_bip_error(6). % to protect set_proc_flags/4 below 3767 set_bip_error(6). % to protect set_proc_flags/4 below 3769 set_bip_error(6). % to protect set_proc_flags/4 below
/barrelfish-master/usr/eclipseclp/documents/applications/
H A D	tutorial.tex	1855 We typically define what a correct program should do only in an informal way, stating constraints that should be satisfied, data formats that should be accepted, etc. Proving correctness\index{correctness} would require a much more formal approach, where we first agree on a specification in a formal language and then prove that the implementation satisfies that specification. But even that does not protect us from a misunderstanding in defining the spec itself, which may not reflect the wishes of the user.

Completed in 49 milliseconds

12

Indexes created Mon Jul 15 19:46:26 MDT 2024