Saturn: A scalable framework for error detection using Boolean satisfiability
Combinators for bidirectional tree transformations: a linguistic approach to the view-update problem
J. Nathan Foster, Michael B. Greenwald, Jonathan Moore, Benjamin Pierce, A. Schmitt
© 2001-2024 Fundación Dialnet · Todos los derechos reservados