18 May
2014
18 May
'14
5:25 p.m.
On Sun, May 18, 2014 at 8:21 PM, Yakov Galka
x is absolute iff for all possible filesystem instances F (under the given OS), if exists a filesystem node f in F and a program state S such that f = open(F, S, x), then for all program states S, f = open(F, S, x).
(i.e. ∀F ∃f ∈ F ((∃S f = open(F,S,x)) → (∀S f = open(F,S,x)))) Here open(F, S, x) is the node of F that the path x resolves to at the program state S, and program state S includes current directory, environment vars, etc...
Note: I think this definition in fact coincides with that x is absolute iff system_complete(x) is eval-equivalent to x. So defining is_absolute in terms of the system-specific system_complete() actually makes sense. -- Yakov