Publications: Proceedings Article: Is Logic Effective for Analyzing C Programs?

Server halma.mpi-inf.mpg.de

Proceedings Article, Paper

@InProceedings
Beitrag in Tagungsband, Workshop

Author, Editor

Author(s):

Hillenbrand, Thomas
Podelski, Andreas
Topić, Dalibor

dblp
dblp
dblp

Editor(s):

Charatonik, Witold
Ganzinger, Harald

dblp
dblp

BibTeX cite key*:

HPT02

Title, Booktitle

Title*:	Is Logic Effective for Analyzing C Programs?
Attachment(s):	analysis.ps (81.36 KB)
Booktitle*:	Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi

Event, URLs

Conference URL::	http://www.mpi-sb.mpg.de/conferences/elics02/index.html
Downloading URL:	http://data.mpi-sb.mpg.de/internet/reports.nsf/c125634c000710d0c12560400034f45a/72fac67a84998e9cc1256b6b003b049e?OpenDocument
Event Address*:	Saarbrücken	Language:	English
Event Date* (no longer used):	~~-- March 2 - 7, 2002~~	Organization:
Event Start Date:	4 March 2002	Event End Date:	6 March 2002

Publisher

Name*:	Max-Planck-Institut für Informatik	URL:	http://www.mpi-sb.mpg.de/
Address*:	Saarbrücken, Germany	Type:

Vol, No, Year, pp.

Series:

MPI Research Report

Volume:	MPI-I-2002-2-007	Number:
Month:	March	Pages:	27-30
Year*:	2002	VG Wort Pages:	4
ISBN/ISSN:		Sequence Number:
DOI:

Note, Abstract, ©





Download Access Level:	Public

Correlation

MPG Unit:	Max-Planck-Institut für Informatik

MPG Subunit:	Programming Logics Group
Audience:	Expert
Appearance:	MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, VG Wort

BibTeX Entry:

@INPROCEEDINGS{HPT02,
AUTHOR = {Hillenbrand, Thomas and Podelski, Andreas and Topi{\'c}, Dalibor},
EDITOR = {Charatonik, Witold and Ganzinger, Harald},
TITLE = {Is Logic Effective for Analyzing {C} Programs?},
BOOKTITLE = {Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi},
PUBLISHER = {Max-Planck-Institut für Informatik},
YEAR = {2002},
VOLUME = {MPI-I-2002-2-007},
PAGES = {27--30},
SERIES = {MPI Research Report},
ADDRESS = {Saarbr{\"u}cken},
MONTH = {March},
}

Entry last modified by Christine Kiesel, 03/12/2010

Edit History (please click the blue arrow to see the details)

	Editor(s) Thomas Hillenbrand	Created 04/15/2002 04:46:43 PM
Revisions 5. 4. 3. 2. 1.	Editor(s) Christine Kiesel Christine Kiesel Christine Kiesel Christine Kiesel Christine Kiesel	Edit Dates 01.09.2003 14:45:44 29.07.2003 15:09:22 29.07.2003 14:52:31 24.07.2003 15:57:39 07.07.2003 15:24:59

Attachment Section

analysis.ps