Symbolic Semantics and Program Reduction | IEEE Journals & Magazine | IEEE Xplore

Symbolic Semantics and Program Reduction


Abstract:

A class of transformations of functional programs based on symbolic execution and simplification of conditionals is presented. The operational symbolic semantics of a fam...Show More

Abstract:

A class of transformations of functional programs based on symbolic execution and simplification of conditionals is presented. The operational symbolic semantics of a family of functional languages is defined exploiting a set-theoretic notion of symbolic constants. An effective transformation able to simplify a functional program via removal of conditionals is discussed. Finally, it is shown that a structural approach, based on abstract data type specifications, provides a suitable representation for symbolic constants.
Published in: IEEE Transactions on Software Engineering ( Volume: SE-11, Issue: 8, August 1985)
Page(s): 784 - 794
Date of Publication: 18 September 2006

ISSN Information:


Contact IEEE to Subscribe

References

References is not available for this document.