2 citations · 2 across the 2 of their papers we have counts for
1 paper · 1 filter
Mark Bickford, Robert Constable, Joseph Halpern +1
To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification exists. Thi…