Control-flow analysis in cubic time

DOI10.1007/3-540-45309-1_17MaRDI QIDQ2763677zbMATH OpenFDO

Authors Flemming Nielson, Helmut Seidl

Publication date 21 January 2002

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/2028/20280252

zbMATH Keywords

0-CFA\(\pi\)-calculusambient calculusHorn clauses with sharingprogram analysistiling of Horn clauses

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 2163029
• Cryptographic analysis in cubic time
• Relating complexity and precision in control flow analysis
• Flow Analysis, Linearity, and PTIME
• Exact flow analysis by higher-order model checking

Cited in

(17)

• Validating firewalls using flow logics
• Verification of cryptographic protocols: tagging enforces termination
• Abstract interpretation of mobile systems
• Static analysis for the \(\pi\)-calculus with applications to security
• Behavioural typing for safe ambients
• Nesting analysis of mobile ambients
• A control flow analysis for Beta-binders with and without static compartments
• Information flow security in boundary ambients
• Cryptographic analysis in cubic time
• A static analysis for beta-binders
• Relational Analysis of Correlation
• Flow Analysis, Linearity, and PTIME
• Normalizable Horn clauses, strongly recognizable relations, and Spi
• Relating complexity and precision in control flow analysis
• Deciding kCFA is complete for EXPTIME
• Systematic realisation of control flow analyses for CML
• Transforming flow information during code optimization for timing analysis

This page was built for publication: Control-flow analysis in cubic time

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