SPIL: A language for construction of reliable system software

  title={SPIL: A language for construction of reliable system software},
  author={Barbara Liskov and L. A. Smith},
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.


Publications citing this paper.