Operations on external files
Michael D. Metcalf, John Reid, Malcolm Cohen · 2018
Abstract The means whereby an external file can be positioned or flushed are described, followed by full instructions on how to open or close a file, specifying as necessary any properties that are required. It is possible to inquire about these properties, and how this may be done is also described.