Symbolic execution: A semantic approach

DOI10.1016/0167-6423(91)90008-LzbMath0745.68064MaRDI QIDQ1183549

Ralf Kneuper

Publication date: 28 June 1992

Published in: Science of Computer Programming (Search for Journal in Brave)

zbMATH Keywords

correctness of symbolic executiondenotational semantics of symbolic execution

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Semantics in the theory of computing (68Q55)

Related Items (2)

Unisex: A unix-based symbolic executor for pascal ⋮ Denotational semantics for symbolic execution

This page was built for publication: Symbolic execution: A semantic approach