DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer

Electronic Notes in Theoretical Computer Science - Tập 248 - Trang 57-66 - 2009
M. Alpuente1, M.A. Feliú1, C. Joubert1, A. Villanueva1
1Universidad Politécnica de Valencia, DSIC / ELP, Camino de Vera s/n, 46022 Valencia, Spain

Tài liệu tham khảo

Abiteboul, 1995

Alpuente, M., M. Feliú, C. Joubert and A. Villanueva, Using Datalog and Boolean Equation Systems for Program Analysis, in: Proceedings of the 13th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2008), Lecture Notes in Computer Science to appear, 2009

Andersen, 1994, Model checking and boolean graphs, Theoretical Computer Science, 126, 3, 10.1016/0304-3975(94)90266-6

Ceri, 1990

Clavel, 2007, All About Maude: A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic, 4350

Garavel, 2007, CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes, 4590, 158

Mateescu, R., Local Model-Checking of an Alternation-Free Value-Based Modal Mu-Calculus, in: Proceedings of the 2nd International Workshop on Verification, Model Checking and Abstract Interpretation VMCAI'98, 1998

Mateescu, 2006, Caesar_solve: A generic library for on-the-fly resolution of alternation-free boolean equation systems, Springer International Journal on Software Tools for Technology Transfer (STTT), 8, 37, 10.1007/s10009-005-0194-9

Reps, 1994, Solving Demand Versions of Interprocedural Analysis Problems, 786, 389

Ullman, 1989

Vieille, L., Recursive Axioms in Deductive Databases: The Query/Subquery Approach, in: Proceedings of the 1st International Conference on Expert Database Systems EDS'86, 1986, pp. 253–267

Whaley, J., Joeq: a Virtual Machine and Compiler Infrastructure, in: Proceedings of the Workshop on Interpreters, Virtual Machines and Emulators IVME'03 (2003), pp. 58–66

Whaley, 2005, Using Datalog with Binary Decision Diagrams for Program Analysis, 3780, 97

Zheng, X. and R. Rugina, Demand-driven alias analysis for C, in: Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages POPL'08 (2008), pp. 197–208

Thông tin
Thông tin xuất bản

Electronic Notes in Theoretical Computer Science

Tập 248

57-66

Thông tin tác giả