Travelled to:1 × Cyprus
1 × Germany
1 × United Kingdom
Collaborated with:∅
Talks about:program (2) second (2) recurs (2) order (2) autom (2) synthesi (1) general (1) formula (1) analysi (1) termin (1)
Person: Markus Aderhold
DBLP: Aderhold:Markus
Contributed to:
2010
2010
2007Wrote 3 papers:
- IJCAR-2010-Aderhold #automation #axiom #higher-order #induction #recursion #source code #synthesis
- Automated Synthesis of Induction Axioms for Programs with Second-Order Recursion (MA), pp. 263–277.
- TACAS-2010-Aderhold #analysis #automation #higher-order #recursion #source code #termination
- Automated Termination Analysis for Programs with Second-Order Recursion (MA), pp. 221–235.
- CADE-2007-Aderhold
- Improvements in Formula Generalization (MA), pp. 231–246.