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 Leroy Allan 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

From This Paper

Topics from this paper.

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…