Travelled to:
1 × USA
Collaborated with:
P.Marwedel
Talks about:
program (2) constraint (1) retarget (1) generat (1) logic (1) test (1) self (1) use (1)
Person: Ulrich Bieker
DBLP: Bieker:Ulrich
Contributed to:
Wrote 1 papers:
- DAC-1995-BiekerM #constraints #generative #logic programming #self #using
- Retargetable Self-Test Program Generation Using Constraint Logic Programming (UB, PM), pp. 605–611.