BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × United Kingdom
Collaborated with:
J.F.Morales M.V.Hermenegildo Maximiliano Klemen Pedro López-García 0001
Talks about:
check (3) program (2) static (2) assert (2) time (2) run (2) unobtrus (1) properti (1) overhead (1) guarante (1)

Person: Nataliia Stulova

DBLP DBLP: Stulova:Nataliia

Contributed to:

ICLP 20152015
PPDP 20142014
PPDP 20162016
PPDP 20182018

Wrote 4 papers:

ICLP-J-2015-StulovaMH #runtime
Practical run-time checking via unobtrusive property caching (NS, JFM, MVH), pp. 726–741.
PPDP-2014-StulovaMH #debugging #higher-order #source code
Assertion-based Debugging of Higher-Order (C)LP Programs (NS, JFM, MVH), pp. 225–235.
PPDP-2016-StulovaMH #runtime #static analysis
Reducing the overhead of assertion run-time checks via static analysis (NS, JFM, MVH), pp. 90–103.
PPDP-2018-KlemenS0MH #performance #runtime #source code
Static Performance Guarantees for Programs with Runtime Checks (MK, NS, PLG0, JFM, MVH), p. 13.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.