scientific article; zbMATH DE number 1953276

zbMATH Open1026.68025MaRDI QIDQ4414728FDOQ4414728

Authors: Chris Hankin, Rajagopal Nagarajan, Prahladavaradan Sampath 

Publication date: 27 July 2003

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

Title of this publication is not available (Why is that?)

Recommendations

• Relating complexity and precision in control flow analysis
• A Calculational Approach to Control-Flow Analysis by Abstract Interpretation
• CFA2: A Context-Free Approach to Control-Flow Analysis
• CFA2: a context-free approach to control-flow analysis
• Exact flow analysis by higher-order model checking

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Structure of proofs (03F07) Functional programming and lambda calculus (68N18)

This page was built for publication:

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