Remarks on ?program proving: Jumps and functions by M. Clint and C. A. R. Hoare? - Concepedia

Concepedia

Publication | Closed Access

Remarks on ?program proving: Jumps and functions by M. Clint and C. A. R. Hoare?

29

Citations

2

References

1976

Year

E. A. Ashcroft, M. Clint, C. A. R. Hoare

Acta Informatica

Programming Language TheoryEngineeringAutomated ReasoningFormal MethodsAutomated ProofM. ClintProgram ProvingComputer ScienceDiscrete MathematicsProgram DerivationFunctional ProgrammingComputability Theory

References

	Year	Citations

Page 1