Statistics
Publications
1
Citations
60
H-Index
1
Active since
1971
Affiliations
Queen's University Belfast(Current)
Matt Foley is an author at Queen's University Belfast specializing in proof generation, deductive verification, and programming languages.
Publications per year
1971–1971
1
1
Proof of a recursive program: Quicksort
Matt Foley · The Computer Journal · 1971 · 60 citations · Full text
1–1 of 1