Travelled to:2 × USA
Collaborated with:∅ W.A.Wulf M.Shaw
Talks about:program (2) verif (2) introduct (1) construct (1) languag (1) alphard (1) remark (1) impact (1) design (1)
Person: Ralph L. London
DBLP: London:Ralph_L=
Contributed to:
1976
1976Wrote 2 papers:
- DIPL-1976-London #design #verification
- Remarks on the impact of program verification on language design (RLL), pp. 313–320.
- ICSE-1976-WulfLS #source code #verification
- An Introduction to the Construction and Verification of Alphard Programs (WAW, RLL, MS), p. 390.