H ? « ‹ ← → › »

Language peer sets for Hehner predicative programming:

Hehner predicative programming(ID:7865/)

alternate simple view

View of Algol that sees programming as a series of predicative input and output statements for variables
References:
  • Hehner, ECR (1984) Hehner, ECR "Predicative programming (parts I and II)" pp134-151
          in [ACM] (1984) [ACM] CACM 27(02) (February 1984)
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder