Nataliia Stulova

Identifiers

• name variant Nataliia Stulova 0.60 · backfill

Papers (4)

1. An Approach to Static Performance Guarantees for Programs with Run-time Checks cs.PL · 2018 · author #2
2. Exploiting Term Hiding to Reduce Run-time Checking Overhead cs.PL · 2017 · author #1
3. Towards Assertion-based Debugging of Higher-Order (C)LP Programs cs.PL · 2014 · author #1
4. An Approach to Assertion-based Debugging of Higher-Order (C)LP Programs cs.PL · 2014 · author #1

Mentions

• 1405.7898 #1 · backfill · confidence 0.70 Nataliia Stulova
• 1404.4246 #1 · backfill · confidence 0.70 Nataliia Stulova

Frequent Coauthors

• Jos\'e F. Morales 4 shared papers
• Manuel V. Hermenegildo 4 shared papers
• Maximiliano Klemen 1 shared papers
• Pedro Lopez-Garcia 1 shared papers