SPIL: A language for construction of reliable system software

@inproceedings{Liskov1973SPILAL,
  title={SPIL: A language for construction of reliable system software},
  author={Barbara Liskov and L. A. Smith},
  year={1973}
}
Structured programming is gaining wide acceptance as a technique for increasing the reliability and understandability of software. Nowhere is the need for better software felt more keenly than in the area of systems programming. In the near future it is likely that systems will be programmed in structured programming languages, just as systems have been programmed in higher level languages in the past. This paper describes SPIL: a structured programming language intended to be used for system… CONTINUE READING

Topics from this paper.

Citations

Publications citing this paper.