There are no reviews yet. Be the first to send feedback to the community and the maintainers!
Repository Details
Maude code from the paper Algebraic Semantics of the C Preprocessor and Correctness of its Refactorings Alejandra Garrido, José Meseguer, and Ralph Johnson
