1 Search Results for "Garcia-Contreras, Isabel"

@InProceedings{garciacontreras_et_al:OASIcs.ICLP.2018.7,
  author =	{Garcia-Contreras, Isabel and Morales, Jos\'{e} F. and Hermenegildo, Manuel V.},
  title =	{{Towards Incremental and Modular Context-Sensitive Analysis}},
  booktitle =	{Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018)},
  pages =	{7:1--7: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.7},
  URN =		{urn:nbn:de:0030-drops-98735},
  doi =		{10.4230/OASIcs.ICLP.2018.7},
  annote =	{Keywords: Program Analysis, (Constraint) Logic Programming, Abstract Interpretation, Fixpoint Algorithms, Incremental Analysis, Modular Analysis}
}

• Refine by Author
• 1 Garcia-Contreras, Isabel
• 1 Hermenegildo, Manuel V.
• 1 Morales, José F.

• Refine by Classification
• 1 Theory of computation → Abstraction
• 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 (Constraint) Logic Programming
• 1 Abstract Interpretation
• 1 Fixpoint Algorithms
• 1 Incremental Analysis
• 1 Modular Analysis
• Show More...

• Refine by Type
• 1 document

• Refine by Publication Year
• 1 2018