Symbolic evaluation with structural recursive symbolic constants

• Authors:

• Fosca Giannotti;Attilio Matteucci

• Affiliations:

• Univ. di Pisa, Pisa, Italy;Univ. di Pisa, Pisa, Italy

• Venue:
• Science of Computer Programming
• Year:
• 1987