Electronic Proceedings Article
@InProceedings
Internet-Beitrag in Tagungsband, Workshop


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:








Author, Editor

Author(s):

Sofronie-Stokkermans, Viorica

dblp



Editor(s):

Autexier, Serge
Mantel, Heiko

dblp
dblp

Not MPII Editor(s):

Autexier, Serge
Mantel, Heiko

BibTeX cite key*:

Sofronie-verify-06

Title, Conference

Title*:

Local reasoning in verification

Booktitle*:

IJCAR'06 Workshop : VERIFY'06: Verification Workshop

Event Address*:

Seattle, USA

URL of the conference:

http://www.easychair.org/FLoC-06/VERIFY.html

Event Date*:
(no longer used):


URL for downloading the paper:

http://www.easychair.org/FLoC-06/VERIFY-preproceedings.pdf

Event Start Date:

15 August 2006

Event End Date:

16 August 2006

Language:

English

Organization:


Publisher

Publisher's Name:

-

Publisher's URL:


Address*:

-

Type:


Vol, No, pp., Year

Series:


Volume:


Number:


Month:

August

Pages:

128-145



Sequence Number:


Year*:

2006

ISBN/ISSN:






Abstract, Links, ©

URL for Reference:


Note:


(LaTeX) Abstract:

The goal of this paper is to illustrate the wide applicability
in verification of results on local reasoning, and especially
on hierarchical reasoning in local theory extensions.
The paper contains a survey of our results on reasoning in
local theory extensions, ranging from characterizations of
locality to interpolation. In addition, several examples are
provided, emphasizing theories occurring in a natural way in
verification. We give several examples -- some already
existing in the literature, others obtained during the work
in the AVACS project -- of application domains where such
theories occur in a natural way.

URL for the Abstract:




Tags, Categories, Keywords:


HyperLinks / References / URLs:


Copyright Message:


Personal Comments:


Download
Access Level:

Public

Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Programming Logics Group

Appearance:

MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, CCL bibliography, VG Wort

BibTeX Entry:
@INPROCEEDINGS{Sofronie-verify-06,
AUTHOR = {Sofronie-Stokkermans, Viorica},
EDITOR = {Autexier, Serge and Mantel, Heiko},
TITLE = {Local reasoning in verification},
BOOKTITLE = {IJCAR'06 Workshop : VERIFY'06: Verification Workshop},
PUBLISHER = {-},
YEAR = {2006},
PAGES = {128--145},
ADDRESS = {Seattle, USA},
MONTH = {August},
}


Entry last modified by Christine Kiesel, 03/12/2007
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
Viorica Sofronie-Stokkermans
Created
03/12/2007 10:44:25 AM
Revisions
3.
2.
1.
0.
Editor(s)
Christine Kiesel
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans
Edit Dates
17.02.2007 09:14:54
11/09/2006 04:27:47 PM
11/09/2006 04:25:37 PM
11/09/2006 04:24:05 PM
Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section