Simulating file operations : an exercise in calculational data refinement

@inproceedings{Bijlsma1997SimulatingFO,
  title={Simulating file operations : an exercise in calculational data refinement},
  author={Lex Bijlsma},
  year={1997}
}
This note was written as an exercise in calculating with abstract data type specifications, both from the user’s point of view and from the implementer’s. We have chosen an example that is well-known to anyone who has ever struggled to convert programs involving ISO Pascal file operations to some nonstandard Pascal version – an experience by now familiar to a sizable proportion of the earth’s population. In order to derive a solution to this problem, we regard ISO Pascal files as an abstract… CONTINUE READING