Die bibliographische Datenbank LEABib

Suchen • Liste der Journale • Liste der Serien • Liste der Konferenzen • Ausgewählte Publikationen	Hilfe

Suche: Citkey="Genaim-Zanardini/13"

Als [bib] [pdf] [ps] [dvi] [xml] herunterladen.

Editors G. Ausiello, D. Sannella

Publisher: Elsevier B.V.

Address: Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis

Keywords: abstract interpretation, acyclicity analysis, termination analysis, object-oriented programming, heap manipulation

URL: http://www.sciencedirect.com/science/article/pii/S0304397512011115

Note: see Corrigendum in Theor.~Comput.~Sci., Vol. 503, 2013, 115-115

Editors		G. Ausiello, D. Sannella
Publisher:		Elsevier B.V.
Address:		Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis

Keywords:		abstract interpretation, acyclicity analysis, termination analysis, object-oriented programming, heap manipulation

URL:		http://www.sciencedirect.com/science/article/pii/S0304397512011115

Note:		see Corrigendum in Theor.~Comput.~Sci., Vol. 503, 2013, 115-115