J. M. Cadiou is an author at Stanford University specializing in formal methods, automated reasoning, and engineering.
Top concepts
EngineeringFormal MethodsAutomated ReasoningSyntaxGrammarLanguageSemanticsComputer ScienceLinguisticsVerification
Publications per year
1972–1973
3
3
Recursive definitions of partial functions and their computations
J. M. Cadiou, Zohar Manna · ACM SIGACT News · 1972 · 78 citations · Full text
Recursive definitions of partial functions and their computations
J. M. Cadiou, Zohar Manna · 1972 · 38 citations · Full text
Syntax, Engineering, Semantic Model +15
Mechanizable proofs about parallel processes
J. M. Cadiou, Jean-Jacques Lévy · 1973 · 17 citations
Rows per page
1–3 of 3