scientific article; zbMATH DE number 3881854

MaRDI QIDQ3216111zbMATH OpenFDO

Authors W. Henhapl, Gregor Snelting

Publication date 1984

zbMATH Keywords

programming environmentscontext analysisformal specification methods of programming languagesoperator-operands compatabilityprogram fragments

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)

Recommendations

• Incremental and modular context-sensitive analysis
• A set-based context model for program analysis
• Program Development in Computational Logic
• A framework for memory efficient context-sensitive program analysis
• Supporting contexts in program refinement
• A non-standard semantics for program slicing and dependence analysis
• Disjunctive relational abstract interpretation for interprocedural program analysis

Cited in

(1)

• scientific article; zbMATH DE number 3845084 (Why is no real title available?)

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 Q3216111)