Symbolic Semantics and Program Reduction

DOI10.1109/TSE.1985.232527MaRDI QIDQ3677145zbMATH OpenOpenAlexFDO

Authors Vincenzo Ambriola, F. Giannotti, Dino Pedreschi, Franco Turini

Publication date 1985

Published in IEEE Transactions on Software Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/tse.1985.232527

zbMATH Keywords

program transformationsrewriting systemssymbolic executionsymbolic semanticssymbolic evaluationprogram reductionabstract data type specificationstransformations of functional programs

Mathematics Subject Classification ID

Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Reducing transformations for functional programs with assignment
• Symbolic execution: A semantic approach
• Symbolic execution based on language transformation
• On transformations of untyped functional programs and their procedural semantics
• scientific article; zbMATH DE number 3898204

Cited in

(4)

• Symbolic execution: A semantic approach
• scientific article; zbMATH DE number 3997138 (Why is no real title available?)
• Symbolic computation via program transformation
• scientific article; zbMATH DE number 1796151 (Why is no real title available?)

This page was built for publication: Symbolic Semantics and Program Reduction

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