Publication | Closed Access

Decompilation of Java bytecode to Prolog by partial evaluation

EngineeringProgram AnalysisAutomated ReasoningJava BytecodeFormal MethodsAbstract InterpretationPartial EvaluationComputer ScienceSoftware AnalysisSymbolic ExecutionFormal Verification