Author:
Daca Przemysław,Henzinger Thomas A.,Kupriyanov Andrey
Publisher
Springer International Publishing
Reference35 articles.
1. Benchmark for non-uniform memory access (NUMA).
http://lxr.free-electrons.com/source/tools/perf/bench/numa.c?v=3.9
. Accessed 29 Jan 2016
2. Markdown parser of the Redcarpet project.
https://github.com/vmg/redcarpet/blob/master/ext/redcarpet/markdown.c
. Accessed 20 Jan 2016
3. Lecture Notes in Computer Science;F Alberti,2014
4. Alberti, F., Ghilardi, S., Sharygina, N.: Decision procedures for flat array properties. J. Autom. Reason. 54(4), 327–352 (2015)
5. Lecture Notes in Computer Science;F Alberti,2015
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Succinct ordering and aggregation constraints in algebraic array theories;Journal of Logical and Algebraic Methods in Programming;2024-08
2. Parikh’s Theorem Made Symbolic;Proceedings of the ACM on Programming Languages;2024-01-05
3. On algebraic array theories;Journal of Logical and Algebraic Methods in Programming;2024-01
4. A Solver for Arrays with Concatenation;Journal of Automated Reasoning;2023-01-07
5. Automatic Program Instrumentation for Automatic Verification;Computer Aided Verification;2023