Please use this identifier to cite or link to this item: http://dx.doi.org/10.14279/depositonce-10301
For citation please use:
Main Title: Adhesive High-Level Replacement Systems with Negative Application Conditions
Author(s): Lambers, Leen
Type: Research Paper
Language Code: en
Abstract: The goal of this paper is the generalization of basic results for adhesive High-Level Replacement (HLR) systems to adhesive HLR systems with negative application conditions. These conditions restrict the application of a rule by expressing that a specific structure should not be present before or after applying the rule to a certain context. Such a condition influences thus each rule application or transformation and therefore changes significantly the properties of the replacement system. The effect of negative application conditions on the replacement system is described in the generalization of the following results, formulated already for adhesive HLR systems without negative application conditions: Local Church-Rosser Theorem, Parallelism Theorem, Completeness Theorem for Critical Pairs, Concurrency Theorem, Embedding and Extension Theorem and Local Confluence Theorem or Critical Pair Lemma. These important generalized results will support the development of formal analysis techniques for adhesive HLR replacement systems with negative application conditions.
URI: https://depositonce.tu-berlin.de/handle/11303/11417
http://dx.doi.org/10.14279/depositonce-10301
Issue Date: 2007
Date Available: 17-Jun-2020
DDC Class: 004 Datenverarbeitung; Informatik
Subject(s): negative application conditions
adhesive high-level replacement categories
License: http://rightsstatements.org/vocab/InC/1.0/
Series: Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin
Series Number: 2007-14
ISSN: 1436-9915
Appears in Collections:Fak. 4 Elektrotechnik und Informatik » Publications

Files in This Item:
tr-2007-14.pdf
Format: Adobe PDF | Size: 492.32 kB
DownloadShow Preview
Thumbnail

Item Export Bar

Items in DepositOnce are protected by copyright, with all rights reserved, unless otherwise indicated.