Flow logic: A multi-paradigmatic approach to static analysis

DOI10.1007/3-540-36377-7_11MaRDI QIDQ4414732zbMATH OpenFDO

Authors Hanne Riis Nielson, Flemming Nielson

Publication date 27 July 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2566/25660223.htm

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Flow logic for process calculi
• scientific article; zbMATH DE number 1231615
• Computer Aided Verification
• Model checking \textit{is} static analysis of modal logic
• A proof-theoretic approach to the static analysis of logic programs

Cited in

(22)

• Dead code elimination based pointer analysis for multithreaded programs
• Recognition of logically related regions based heap abstraction
• Static analysis of topology-dependent broadcast networks
• A control flow analysis for Beta-binders with and without static compartments
• Heuristics for safety and security constraints
• A static analysis for beta-binders
• Flow logic for process calculi
• A proof-theoretic approach to the static analysis of logic programs
• Relational Analysis of Correlation
• Computer Aided Verification
• Control Flow Analysis of Generalised Boolean Networks
• Automated Reasoning with Analytic Tableaux and Related Methods
• Control-flow analysis of function calls and returns by abstract interpretation
• Rethinking static analysis by combining discrete and continuous reasoning
• Model checking as program verification by abstract interpretation
• Correctness of static flow analysis in continuation semantics
• Proof optimization for partial redundancy elimination
• A framework for security analysis of mobile wireless networks
• Pathway analysis for BioAmbients
• Program and proof optimizations with type systems
• Hybrid logical analyses of the ambient calculus
• From flow logic to static type systems for coordination languages

This page was built for publication: Flow logic: A multi-paradigmatic approach to static analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4414732)