 This means that, given a correct compiler, any code compiled from a successfully type-checked source program should be clear of invalid assignment errors.This is information which can be of value to the code consumer, as it provides some degree of guarantee that the program will not crash due to some specific error.A goal of LBS is to ensure the presence of certain properties in the source code corresponding to the safety policy of the software.