File hConfFile, File cConfFile, ApplicationLauncher launcher) {
// Extract and verify parameters
ApplicationSpecification appSpec = program.getSpecification();
Preconditions.checkNotNull(appSpec, "Missing application specification.");
ProgramType processorType = program.getType();
Preconditions.checkNotNull(processorType, "Missing processor type.");
Preconditions.checkArgument(processorType == ProgramType.PROCEDURE, "Only PROCEDURE process type is supported.");
ProcedureSpecification procedureSpec = appSpec.getProcedures().get(program.getName());
Preconditions.checkNotNull(procedureSpec, "Missing ProcedureSpecification for %s", program.getName());