Interleaving symbolic execution and partial evaluation

DOI10.1007/978-3-642-17071-3_7MaRDI QIDQ3066122zbMATH OpenOpenAlexFDO

Authors Richard Bubel, Reiner Hähnle, Ran Ji

Publication date 8 January 2011

Published in Formal Methods for Components and Objects (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-17071-3_7

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1254023
• scientific article; zbMATH DE number 177846
• scientific article; zbMATH DE number 1692905
• Partial evaluation of multi-paradigm declarative languages: Foundations, control, algorithms and efficiency
• A hybrid approach to online and offline partial evaluation

Cites work

• Abstract Interpretation of Symbolic Execution with Explicit State Updates
• Algebraic Methodology and Software Technology
• Dynamic Logic with Non-rigid Functions
• Generating Unit Tests from Formal Proofs
• scientific article; zbMATH DE number 4024753 (Why is no real title available?)
• scientific article; zbMATH DE number 236855 (Why is no real title available?)
• scientific article; zbMATH DE number 3403724 (Why is no real title available?)
• Mixtus: An automatic partial evaluator for full Prolog
• Model Checking Software
• Predicate Abstraction in a Program Logic Calculus
• The concept of a supercompiler

Cited in

(1)

• Improving the static analysis of embedded languages via partial evaluation

Describes a project that uses

Uses Software

• VeriFast
• Spec#
• Pex
• Refal

This page was built for publication: Interleaving symbolic execution and partial evaluation

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