2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/33071We describe an automated partial evaluator for evolving algebras implemented at the University of Michigan.See also the web site at http://www.eecs.umich.edu/gasm/Software EngineeringD.2.4text