H ? « ‹ ← → › »

Language peer sets for Nucleus:
Designed 1973 ↑
1970s languages ↑
Fourth generation↑
High Cold War↑

Nucleus(ID:3901/nuc002)

alternate simple view
Designed 1973

A language for provability of software

Good and Ragland 1973

Samples:
References:
  • Good, D. I. and Ragland, L, C., (1972) Good, D. I. and Ragland, L, C., "Nucleus - A Language of Provable Programs"
          in [PAAP 1972] (1972) SIGPLAN Notices 7(01) January 1972 [ACM] Proc. ACM Conf. on Proving Assertions about Programs. New Mexico State University, Las Cruces, New Mexico (1972)
  • Good, D. I., (1972) Good, D. I., "Developing Correct Software", In Proceedings of the First Texas Symposium on Computer Systems, 1972.
          in [PAAP 1972] (1972) SIGPLAN Notices 7(01) January 1972 [ACM] Proc. ACM Conf. on Proving Assertions about Programs. New Mexico State University, Las Cruces, New Mexico (1972)
  • Good, D.I. and Ragland, L.C. (1973) Good, D.I. and Ragland, L.C. "Nucleus—A Language for Provable Programs," Program Test Methods, Hetzel (ed.), Prentice-Hall (1973).
          in [PAAP 1972] (1972) SIGPLAN Notices 7(01) January 1972 [ACM] Proc. ACM Conf. on Proving Assertions about Programs. New Mexico State University, Las Cruces, New Mexico (1972)
  • Wang, Yin-Yin Lee (1973) Wang, Yin-Yin Lee "A NUCLEUS Verification Condition Compiler" University of Texas at Austin, Department of Computer Sciences. Technical Report CS-TR-73-19. May 1973 Abstract
          in [PAAP 1972] (1972) SIGPLAN Notices 7(01) January 1972 [ACM] Proc. ACM Conf. on Proving Assertions about Programs. New Mexico State University, Las Cruces, New Mexico (1972)
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder