Symbolic Semantics and Program Reduction

1 August 1985

journal article
Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering

Vol. SE-11 (8) , 784-794
https://doi.org/10.1109/TSE.1985.232527

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.

Keywords

CONSTRAINT OPTIMIZATION
INPUT VARIABLES
FUNCTIONAL PROGRAMMING
PROPOSALS
TESTING
PERFORMANCE ANALYSIS
CONSTRAINT THEORY
CONCRETE
ROBUSTNESS

This publication has 0 references indexed in Scilit: