1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.LO2023
Extracting total Amb programs from proofs
Ulrich Berger, Hideki Tsuiki
We present a logical system CFP (Concurrent Fixed Point Logic) supporting the extraction of nondeterministic and concurrent programs that are provably total and correct. CFP is an…
cs.LO2023★ 1 cited
Concurrent Gaussian elimination
Ulrich Berger, Monika Seisenberger, Dieter Spreen +1
Working in a semi-constructive logical system that supports the extraction of concurrent programs, we extract a program inverting non-singular real valued matrices from a construct…