Symbolic evaluation with structural recursive symbolic constants

DOI10.1016/0167-6423(87)90031-1zbMath0642.68024OpenAlexW2030514755MaRDI QIDQ1101205

Franco Turini, Fosca Giannotti, Dino Pedreschi, Attilio Matteucci

Publication date: 1987

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0167-6423(87)90031-1

zbMATH Keywords

transformation rulesSymbolic evaluation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Annotated bibliography on partial evaluation and mixed computation

This page was built for publication: Symbolic evaluation with structural recursive symbolic constants