1 Search Results for "Klemen, Maximiliano"

@InProceedings{klemen_et_al:OASIcs.ICLP.2018.10,
  author =	{Klemen, Maximiliano and Stulova, Nataliia and Lopez-Garcia, Pedro and Morales, Jos\'{e} F. and Hermenegildo, Manuel V.},
  title =	{{Towards Static Performance Guarantees for Programs with Run-Time Checks}},
  booktitle =	{Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018)},
  pages =	{10:1--10:2},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-090-3},
  ISSN =	{2190-6807},
  year =	{2018},
  volume =	{64},
  editor =	{Dal Palu', Alessandro and Tarau, Paul and Saeedloei, Neda and Fodor, Paul},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2018.10},
  URN =		{urn:nbn:de:0030-drops-98765},
  doi =		{10.4230/OASIcs.ICLP.2018.10},
  annote =	{Keywords: Run-time Checks, Assertions, Abstract Interpretation, Resource Usage Analysis}
}

• Refine by Author
• 1 Hermenegildo, Manuel V.
• 1 Klemen, Maximiliano
• 1 Lopez-Garcia, Pedro
• 1 Morales, José F.
• 1 Stulova, Nataliia

• Refine by Classification
• 1 Theory of computation → Invariants
• 1 Theory of computation → Pre- and post-conditions
• 1 Theory of computation → Program analysis
• 1 Theory of computation → Program semantics

• Refine by Keyword
• 1 Abstract Interpretation
• 1 Assertions
• 1 Resource Usage Analysis
• 1 Run-time Checks

• Refine by Type
• 1 document

• Refine by Publication Year
• 1 2018