Open Access
Resource-aware Program Analysis Using Observation Sequences
Peizun Liu
- 01 May 2019
About: The article was published on 01 May 2019. and is currently open access. The article focuses on the topics: Program analysis & Resource (project management).
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Interprocedural Context-Unbounded Program Analysis Using Observation Sequences
TL;DR: A classical result by Ramalingam about synchronization-sensitive interprocedural program analysis implies that reachability for concurrent threads running recursive procedures is undecidable.
2
References
Systematic design of program analysis frameworks
Patrick Cousot,Radhia Cousot +1 more
- 01 Jan 1979
TL;DR: The systematic and correct design of program analysis frameworks with respect to a formal semantics is devoted to the main elements of the lattice theoretic approach to approximate semantic analysis of programs.
1.8K
Proving the Correctness of Multiprocess Programs
TL;DR: The inductive assertion method is generalized to permit formal, machine-verifiable proofs of correctness for multiprocess programs, represented by ordinary flowcharts, and no special synchronization mechanisms are assumed.
Bounded Model Checking
TL;DR: This article surveys a technique called Bounded Model Checking (BMC), which uses a propositional SAT solver rather than BDD manipulation techniques, and is widely perceived as a complementary technique to BDD-based model checking.
•Book
Mathematical discovery;: On understanding, learning, and teaching problem solving
George Pólya
- 01 Jan 1962
TL;DR: The Pattern of Two Loci is applied as a guide to a general method for solving the problem of superposition in theCartesian Pattern.
939
Well-structured transition systems everywhere!
Alain Finkel,Ph. Schnoebelen +1 more
TL;DR: Improved definitions of well-structured transition systems allow many examples of classical systems to be seen as instances of WSTSs and show several new results.
861
Related Papers (5)
Zheng Cheng,Dominique Méry,Rosemary Monahan +2 more
- 10 Oct 2016
R.H. Carver,R. Durham +1 more
- 25 Jun 1995