Harald Sondergaard

Identifiers

No identifiers captured yet.

Papers (4)

1. Precondition Inference via Partitioning of Initial States cs.LO · 2018 · author #4
2. An iterative approach to precondition inference using constrained Horn clauses cs.LO · 2018 · author #5
3. A Complete Refinement Procedure for Regular Separability of Context-Free Languages cs.FL · 2014 · author #4
4. A Partial-Order Approach to Array Content Analysis cs.PL · 2014 · author #4

Mentions

No mention provenance yet.

Frequent Coauthors

• Graeme Gange 4 shared papers
• Peter J. Stuckey 4 shared papers
• Peter Schachte 4 shared papers
• Bishoksan Kafle 2 shared papers
• Jorge A. Navas 2 shared papers
• John P. Gallagher 1 shared papers