Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH scholarly article en Lhotak, Ondrej; Smaragdakis, Yannis; Sridharan, Manu http://www.dagstuhl.de/dagrep License
when quoting this document, please refer to the following
DOI:
URN: urn:nbn:de:0030-drops-41698
URL:

; ;
Weitere Beteiligte (Hrsg. etc.): Ondrej Lhotak and Yannis Smaragdakis and Manu Sridharan

Pointer Analysis (Dagstuhl Seminar 13162)

pdf-format:


Abstract

This report documents the program and the outcomes of Dagstuhl Seminar 13162 ``Pointer Analysis''. The seminar had 27 attendees, including both pointer analysis experts and researchers developing clients in need of better pointer analysis. The seminar came at a key point in time, with pointer analysis techniques acquiring sophistication but still being just beyond the edge of wide practical deployment. The seminar participants presented recent research results, and identified key open problems and future directions for the field. This report presents abstracts of the participants' talks and summaries of the breakout sessions from the seminar.

BibTeX - Entry

@Article{lhotak_et_al:DR:2013:4169,
  author =	{Ondrej Lhotak and Yannis Smaragdakis and Manu Sridharan},
  title =	{{Pointer Analysis (Dagstuhl Seminar 13162)}},
  pages =	{91--113},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{3},
  number =	{4},
  editor =	{Ondrej Lhotak and Yannis Smaragdakis and Manu Sridharan},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2013/4169},
  URN =		{urn:nbn:de:0030-drops-41698},
  doi =		{10.4230/DagRep.3.4.91},
  annote =	{Keywords: pointer analysis, points-to analysis, alias analysis, static analysis, programming languages}
}

Keywords: pointer analysis, points-to analysis, alias analysis, static analysis, programming languages
Seminar: Dagstuhl Reports, Volume 3, Issue 4
Issue date: 2013
Date of publication: 2013


DROPS-Home | Fulltext Search | Imprint Published by LZI