High-Level Programs and Program Conditions-Reference-Cited by-同舟云学术

High-Level Programs and Program Conditions

Published: Issue: Volume: Page:211-225
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Azab Karl,Habel Annegret

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-87405-8_15.pdf

Reference19 articles.

1. Heckel, R., Wagner, A.: Ensuring consistency of conditional graph grammars – a constructive approach. In: SEGRAGRA 1995. ENTCS, vol. 2, pp. 95–104 (1995)

2. Koch, M., Mancini, L.V., Parisi-Presicce, F.: Graph-based specification of access control policies. Journal of Computer and System Sciences 71, 1–33 (2005)

3. Ehrig, H., Ehrig, K., Habel, A., Pennemann, K.H.: Theory of constraints and application conditions: From graphs to high-level structures. Fundamenta Informaticae 74(1), 135–166 (2006)

4. Habel, A., Pennemann, K.H.: Correctness of high-level transformation systems relative to nested conditions. In: Mathematical Structures in Computer Science (to appear, 2008)

5. Azab, K., Habel, A.: High-level programs and program conditions (long version). Technical report, University of Oldenburg (2008)

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Deontic meta-rules;Journal of Logic and Computation;2023-09-26

2. Computing Defeasible Meta-logic;Logics in Artificial Intelligence;2021

3. Workflow-Driven Tool Integration Using Model Transformations;Lecture Notes in Computer Science;2010

4. Correctness of high-level transformation systems relative to nested conditions;Mathematical Structures in Computer Science;2009-04