Computing · 1983 · 23 citations · 3 references
ComputingComputer EngineeringComputer ScienceFormal MethodsProgramming LanguagesSoftware EngineeringAbstract Syntax TreesControl-flow AnalysisSoftware DesignSoftware ModelingSpecification LanguagesSyntax AnalysisAbstract Syntax Tree RepresentationControl GraphsControl-flow Graph ConstructionGraph RewritingSoftware Requirements Specification
3
The Cornell program synthesizer
Tim Teitelbaum, Thomas Reps · Communications of the ACM · 1981 · 709 citations · Full text