Contents of Report

[Data of Report]

Report Number:

TR0809

Date of Registration:

1992.10

English Title:

PAPYRUS:A System for Program Synthesis and Verification by Constructive Logic

Japanese Title:

プログラム生成システム PAPYRUS

English Author:

H.Kawata,K.Sato,M.Fujita,Y.Shirai,T.Ohtubo

Japanese:

川田　秀司,坂井　公,藤田　正幸,大坪　透

Name of Organization to which author belongs:

ICOT,Tsukuba Univ.,MRI,VanRich

PDF:

tr0809.pdf

[Contents]

ICOT研究論文（TR）一覧に戻る / Back to the list of ICOT Technical Reports