scientific article; zbMATH DE number 3881854

zbMATH Open0553.68005MaRDI QIDQ3216111FDOQ3216111

Gregor Snelting, W. Henhapl

Publication date: 1984

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

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

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)

Cited In (1)

• Title not available (Why is that?)

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)