Report: Datalog with Recursive Aggregation for Incremental Program Analyses (Extended Abstract)

被引：0

作者：

Szabo, Tamas ^{[1
]}

Bergmann, Gabor ^{[2
]}

Erdweg, Sebastian ^{[3
]}

Voelter, Markus ^{[4
]}

机构：

[1] JGU Mainz, Itemis AG, Mainz, Germany

[2] Budapest Univ Technol & Econ, Budapest, Hungary

[3] JGU Mainz, Mainz, Germany

[4] Itemis AG, Lunen, Germany

来源：

ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2020年 / 325期

关键词：

D O I：

10.1145/3276509

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页数：3

共 6 条

[1] Reachability Analysis for AWS-Based Networks [J].

Backes, John ;

Bayless, Sam ;

Cook, Byron ;

Dodge, Catherine ;

Gacek, Andrew ;

Hu, Alan J. ;

Kahsai, Temesghen ;

Kocik, Bill ;

Kotelnikov, Evgenii ;

Kukovec, Jure ;

McLaughlin, Sean ;

Reed, Jason ;

Rungta, Neha ;

Sizemore, John ;

Stalzer, Mark ;

Srinivasan, Preethi ;

Subotic, Pavle ;

Varming, Carsten ;

Whaley, Blake .

COMPUTER AIDED VERIFICATION, CAV 2019, PT II, 2019, 11562 :231-241

[2]

Gupta A., 1993, SIGMOD Record, V22, P157, DOI 10.1145/170036.170066

[3]

Madsen M, 2016, ACM SIGPLAN NOTICES, V51, P194, DOI [10.1145/2908080.2908096, 10.1145/2980983.2908096]

[4]

Ross K. A., 1992, Proceedings of the Eleventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, P114, DOI 10.1145/137097.137852

[5]

Smaragdakis Yannis, 2010, Datalog Reloaded. First International Workshop, Datalog 2010. Revised Selected Papers, P245, DOI 10.1007/978-3-642-24206-9_14

[6]

Szabó T, 2018, P ACM PROGRAM LANG, V2, DOI 10.1145/3276509

← 1 →