Corpus ID: 10936257

Waving A Language-Independent WEB

  title={Waving A Language-Independent WEB},
  author={C. V. Wyk and N. Ramsey},
  journal={Commun. ACM},
  • C. V. Wyk, N. Ramsey
  • Published 1989
  • Computer Science
  • Commun. ACM
  • In the fall of 1987 I started planning the implementation of a suite of tools for building veriied Ada programs Ramsey 89]. The rst tool to be built was a veriication condition generator, which was to be formally deened using the typed lambda calculus. I was eager to include the deenition with the code so that it would be easy to check the code's correctness. Using WEB would have made this easy, but, unfortunately, the target programming language was SSL (a language for specifying structure… CONTINUE READING
    Requirements for an elucidative programming environment
    • 44
    • Open Access
    The Desert environment
    • 84
    • Open Access
    Literate programming on a team project
    • 27
    • Open Access
    The literate-programming paradigm
    • 36
    • Open Access
    Increasing assurance with literate programming techniques
    • 13
    • Open Access
    Literate Programming, A Practioner's View
    • 7
    • Open Access


    Publications referenced by this paper.
    Proceedings, Fifth International Workshop on Software Speciication and Design
      TUG- Boat
      • 1987
      The Computer Journal
      • 1,094
      • Open Access