Publication | Closed Access

A domain-specific compiler theory based framework for automated reaction network generation

EngineeringCompiler TechnologySoftware EngineeringSystem SynthesisSoftware AnalysisFormal VerificationDomain-specific Compiler TheorySystems EngineeringCompilersCompiler SupportComputer EngineeringComputer ScienceOptimizing CompilerSoftware DesignProgram AnalysisAutomated ReasoningFormal MethodsProgram SynthesisParallel ProgrammingReaction Network Generation