Incremental Pattern Matching for the Efficient Computation of Transitive Closure-Reference-Cited by-同舟云学术

Incremental Pattern Matching for the Efficient Computation of Transitive Closure

Published:2012 Issue: Volume: Page:386-400
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Bergmann Gábor,Ráth István,Szabó Tamás,Torrini Paolo,Varró Dániel

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-33654-6_26.pdf

Reference31 articles.

1. Lecture Notes in Computer Science;G. Bergmann,2008

2. Ghamarian, A.H., Jalali, A., Rensink, A.: Incremental pattern matching in graph-based state space exploration. Electronic Communications of the EASST (2010), GraBaTs 2010, Enschede

3. Jalali, A., Ghamarian, A.H., Rensink, A.: Incremental pattern matching for regular expressions. In: 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2012) (2012)

4. Anquetil, N., Kulesza, U., Mitschke, R., Moreira, A., Royer, J.C., Rummler, A., Sousa, A.: A model-driven traceability framework for software product lines. Software and Systems Modeling 9, 427–451 (2010), doi:10.1007/s10270-009-0120-9

5. Kovács, M., Gönczy, L., Varró, D.: Formal analysis of bpel workflows with compensation by model checking. International Journal of Computer Systems and Engineering 23(5) (2008)

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

1. Rethinking Incremental and Parallel Pointer Analysis;ACM Transactions on Programming Languages and Systems;2019-03-31

2. Incremental View Model Synchronization Using Partial Models;Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems;2018-10-14

3. Incremental View Maintenance for Property Graph Queries;Proceedings of the 2018 International Conference on Management of Data;2018-05-27

4. Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework;Software & Systems Modeling;2016-05-12

5. A Variability-Based Approach to Reusable and Efficient Model Transformations;Fundamental Approaches to Software Engineering;2015