cited by index terms collaborative colleagues
Primary Classification: I. Computing Methodologies I.2 ARTIFICIAL INTELLIGENCE I.2.2 Automatic Programming Subjects: Automatic analysis of algorithms
Additional Classification: G. Mathematics of Computing G.1 NUMERICAL ANALYSIS
General Terms: Algorithms, Measurement, Performance, Reliability, Theory