1 Search Results for "Søndergaard, Harald"

@InProceedings{amadini_et_al:OASIcs.Gabbrielli.7,
  author =	{Amadini, Roberto and Gange, Graeme and Schachte, Peter and S{\o}ndergaard, Harald and Stuckey, Peter J.},
  title =	{{Abstract Interpretation, Symbolic Execution and Constraints}},
  booktitle =	{Recent Developments in the Design and Implementation of Programming Languages},
  pages =	{7:1--7:19},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-171-9},
  ISSN =	{2190-6807},
  year =	{2020},
  volume =	{86},
  editor =	{de Boer, Frank S. and Mauro, Jacopo},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.Gabbrielli.7},
  URN =		{urn:nbn:de:0030-drops-132294},
  doi =		{10.4230/OASIcs.Gabbrielli.7},
  annote =	{Keywords: Abstract interpretation, symbolic execution, constraint solving, dynamic analysis, static analysis}
}

• Refine by Author
• 1 Amadini, Roberto
• 1 Gange, Graeme
• 1 Schachte, Peter
• 1 Stuckey, Peter J.
• 1 Søndergaard, Harald

• Refine by Classification
• 1 Software and its engineering → Software maintenance tools
• 1 Software and its engineering → Software testing and debugging
• 1 Theory of computation → Invariants
• 1 Theory of computation → Program analysis

• Refine by Keyword
• 1 Abstract interpretation
• 1 constraint solving
• 1 dynamic analysis
• 1 static analysis
• 1 symbolic execution

• Refine by Type
• 1 document

• Refine by Publication Year
• 1 2020