Publication | Closed Access

Mix: A self-applicable partial evaluator for experiments in compiler generation

EngineeringProgram AnalysisCompiler TechnologySoftware TestingCompiler SupportFormal MethodsComputer EngineeringSoftware EngineeringSoftware AnalysisPartial EvaluationCompiler GenerationComputer ScienceCompilersOptimizing CompilerFormal VerificationDynamic Compilation