H ? « ‹ ← → › »

Language peer sets for SPIL:
United States↑
United States/1973↑
Designed 1973 ↑
1970s languages ↑
Fourth generation↑
High Cold War↑

SPIL(ID:3900/spi007)

alternate simple view
Country: United States
Designed 1973

for Structured Programming Implementation Language

Structured programming language intended to be used for system design and implementation

Liskov and Smith Mitre Corp 1972-3

People:
Related languages
SPIL → HLS   Influence
References:
  • B. J. Huberman, (1970) B. J. Huberman, "Principles of Operation of the Venus Microprogram", The MITRE Corporation, MTR-1843, Bedford, Massachusetts, 1 May 1970.
  • B. H. Liskov and E. Towster, (1971) B. H. Liskov and E. Towster, "The Proof of Correctness Approach to Reliable Systems", The MITRE Corporation, MTR-2073, Bedford, Massachusetts, 9 March 1971.
  • B. H. Liskov and L. A. Smith, (1972) B. H. Liskov and L. A. Smith, "SPIL - A Systems Programming Implementation Language", The MITRE Corporation, MTR-2344, Bedford, Massachusetts, 15 June 1972.
  • Barbara H. Liskov (1972) Barbara H. Liskov "The design of the Venus operating system" DOI Abstract
          in [ACM] (1972) [ACM] CACM 15(03) (March 1972)
  • Liskov, B. H. (1972) Liskov, B. H. "A Design Methodology for Reliable Software Systems", pp191-199
          in [AFIPS] (1972) [AFIPS] Proceedings of the 1972 Fall Joint Computer Conference FJCC 41
  • Barbara H. Liskov and Leroy A. Smith (1973) Barbara H. Liskov and Leroy A. Smith "SPIL: A language for construction of reliable system software" DOI Abstract Extract: Introduction
          in [SIGPLAN] (1973) SIGPLAN Notices 8(09) June 1973 Proceedings of ACM SIGPLAN - SIGOPS interface meeting on Architectural Support for Programming Languages and Operating Systems, Savannah, Georgia, 1973
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder