Publication | Closed Access

Proving and applying program transformations expressed with second-order patterns

Program TransformationsEngineeringAutomated ReasoningProgram AnalysisFormal MethodsSoftware AnalysisProgram SynthesisProgram TransformationComputer ScienceProgram DerivationFormal Verification