There has been a demand for a technology capable of more efficiently arranging each variable used within a program because the storage capacity of a memory area is limited. A programming language processing program oriented to a microcomputer having a plurality of memory areas is provided. Based on a source program or an object code generated from the source program, information for determining which memory area of the memory areas the variable used within the source program should be arranged in is outputted as arrangement determination information. As to each aggregate variable used within the source program, the arrangement determination information includes information for each element of the corresponding aggregate variable.