This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Symbolic Semantics and Program Reduction
August 1985 (vol. 11 no. 8)
pp. 784-794
ASCII Text
x 
 
V. Ambriola, F. Giannotti, D. Pedreschi, F. Turini, "Symbolic Semantics and Program Reduction," IEEE Transactions on Software Engineering, vol. 11, no. 8, pp. 784-794, August, 1985.
 
 
BibTex
x
 
@article{ 10.1109/TSE.1985.232527,
author = {V. Ambriola and F. Giannotti and D. Pedreschi and F. Turini},
title = {Symbolic Semantics and Program Reduction},
journal ={IEEE Transactions on Software Engineering},
volume = {11},
number = {8},
issn = {0098-5589},
year = {1985},
pages = {784-794},
doi = {http://doi.ieeecomputersociety.org/10.1109/TSE.1985.232527},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - JOUR
JO - IEEE Transactions on Software Engineering
TI - Symbolic Semantics and Program Reduction
IS - 8
SN - 0098-5589
SP784
EP794
EPD - 784-794
A1 - V. Ambriola,
A1 - F. Giannotti,
A1 - D. Pedreschi,
A1 - F. Turini,
PY - 1985
KW - symbolic evaluation
KW - Abstract data type specifications
KW - functional programming languages
KW - program reduction
KW - program transformations
KW - rewriting systems
VL - 11
JA - IEEE Transactions on Software Engineering
ER -
 
V. Ambriola, Dipartimento di Informatica, Universit? di Pisa
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.
Index Terms:
symbolic evaluation, Abstract data type specifications, functional programming languages, program reduction, program transformations, rewriting systems
Citation:
V. Ambriola, F. Giannotti, D. Pedreschi, F. Turini, "Symbolic Semantics and Program Reduction," IEEE Transactions on Software Engineering, vol. 11, no. 8, pp. 784-794, Aug. 1985, doi:10.1109/TSE.1985.232527
Usage of this product signifies your acceptance of the Terms of Use.