SYSTEM FOR PROCESSING DECLARATIVELY-DEFINED NUMBER THEORY FUNCTION

摘要

PURPOSE:To contribute to the improvement of the productivity of a software and the improvement of reliability by executing the declarative description of a number theory function on a program language approximate to a natural language. CONSTITUTION:The program language is temporarily called 'language L' here. In a language L processing system 21, the system is a total software development system to contain from a specification description 20, program synthesis and development, and up to the execution of a goal program to be derived as a result. The language L processing system 21 is composed of respective components of an expression conversion system 22, a logic synthetic system 23, a goal language development system 24 and an execution system 31 by largely classifying it. When the program described by the langauge L is inputted to the system, finally, a source program and a data definition 30 written by the goal language (for example, known C language) are automatically derived, further, they are compiled, and thereby, a module to be immediately executed can be prepared.