Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming
IEEE Transactions on Software Engineering
Design of a text formatter with AUTO STAR
ACM SIGAda Ada Letters
Universal Regular Path Queries
Higher-Order and Symbolic Computation
A survey of strategies in rule-based program transformation systems
Journal of Symbolic Computation
Hi-index | 0.00 |