dhil/phd-dissertation
1
0
Fork 0
mirror of https://github.com/dhil/phd-dissertation synced 2026-03-13 11:08:25 +00:00
Code Issues Releases Wiki Activity

Rewording.

Browse Source
This commit is contained in:
Daniel Hillerström
2020-10-02 00:56:59 +01:00
parent a9ab791261
commit fcb63fa94f
1 changed files with 6 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
thesis.tex
View File

@@ -2201,12 +2201,12 @@ interpret an application of $\whoami$.
\] \]
% %
It is not difficult to extend this basic environment model to support It is not difficult to extend this basic environment model to support
a more faithful UNIX environment supporting an arbitrary number of an arbitrary number of variables. This can be done by parameterising
variables. This can be done by parameterising the $\Ask$ operation by the $\Ask$ operation by some name representation (e.g. a string),
some name representation (e.g. a string), which the environment which the environment handler can use to index into a list of string
handler can use to index into a list of string values. In case the values. In case the name is unbound the environment handler can
name is unbound the environment handler can adopt the lax attitude of embrace UNIX's laissez-faire attitude and resume with the empty
UNIX and resume with the empty string. string.
\paragraph{Session management} \paragraph{Session management}