Symbolic Semantics and Program Reduction

Authors:
Vincenzo Ambriola;Fosca Giannotti;Dino Pedreschi;Franco Turini
Affiliations:
Univ. di Pisa, Pisa, Italy;Univ. di Pisa, Pisa, Italy;Univ. di Pisa, Pisa, Italy;Univ. di Pisa, Pisa, Italy
Venue:
IEEE Transactions on Software Engineering - Annals of discrete mathematics, 24
Year:
1985

Citing 0
Cited 4

A bibliography on partial evaluation

ACM SIGPLAN Notices
A method for specializing logic programs

ACM Transactions on Programming Languages and Systems (TOPLAS)
Detecting static algorithms by partial evaluation

PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Software Specialization Via Symbolic Execution

IEEE Transactions on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

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.