第3届程序构造中的数学国际会议(MPC’95)于1995年7月17—21日在德国克劳斯特依俄西召开。会议论文刊登在Lecture Notes In Computer Science第947卷上。与会者70多人,主要来自欧洲和美国。会上宣读论文24篇,分为8个专题,其中5篇为特邀...第3届程序构造中的数学国际会议(MPC’95)于1995年7月17—21日在德国克劳斯特依俄西召开。会议论文刊登在Lecture Notes In Computer Science第947卷上。与会者70多人,主要来自欧洲和美国。会上宣读论文24篇,分为8个专题,其中5篇为特邀演讲。慕尼黑技术大学的M.Broy教授演讲的题目为"软件工程的数学"。展开更多
This paper proposes a metalanguage TrapML for transformational programming, which is designed based on the analysis of its design principles, structures and functions. It has the facilities to describe the syntax of o...This paper proposes a metalanguage TrapML for transformational programming, which is designed based on the analysis of its design principles, structures and functions. It has the facilities to describe the syntax of object languages, the set of transformation rules and strategies. The behaviour of transformation systems can be conveniently expressed. Both accurate and vague strategies can be written in TrapML. Metaprogram is of higher reliability.展开更多
This paper proposes an approach to synthesize functional programs of Backus' FP system from input/output instances.Based on a theory of orthogonal expansion of programs,the task of program synthesis is expressed i...This paper proposes an approach to synthesize functional programs of Backus' FP system from input/output instances.Based on a theory of orthogonal expansion of programs,the task of program synthesis is expressed in program equations,and fulfilled by solving them according to the knowledge about the equivalence between programs.Some general knowledge of solving program equations with a number of examples are given in the paper.展开更多
文摘第3届程序构造中的数学国际会议(MPC’95)于1995年7月17—21日在德国克劳斯特依俄西召开。会议论文刊登在Lecture Notes In Computer Science第947卷上。与会者70多人,主要来自欧洲和美国。会上宣读论文24篇,分为8个专题,其中5篇为特邀演讲。慕尼黑技术大学的M.Broy教授演讲的题目为"软件工程的数学"。
文摘This paper proposes a metalanguage TrapML for transformational programming, which is designed based on the analysis of its design principles, structures and functions. It has the facilities to describe the syntax of object languages, the set of transformation rules and strategies. The behaviour of transformation systems can be conveniently expressed. Both accurate and vague strategies can be written in TrapML. Metaprogram is of higher reliability.
基金This research is supported by the National Science Foundation and the National Education Committee Foundation for Youths.
文摘This paper proposes an approach to synthesize functional programs of Backus' FP system from input/output instances.Based on a theory of orthogonal expansion of programs,the task of program synthesis is expressed in program equations,and fulfilled by solving them according to the knowledge about the equivalence between programs.Some general knowledge of solving program equations with a number of examples are given in the paper.
