A Formally Proved, Complete Algorithm for Path Resolution with Symbolic Links
In the context of file systems like those of Unix, path resolution is the operation that given a character string denoting an access path, determines the target object (a file, a Nightgowns directory, etc.) designated by this path.This operation is not trivial because of the presence of symbolic links.Indeed, the presence of such links may induce i