Symbolic Semantics and Program Reduction

DOI10.1109/TSE.1985.232527zbMath0563.68010OpenAlexW1984297907MaRDI QIDQ3677145

Vincenzo Ambriola, Fosca 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

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

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