论文信息 - Remarks on SASL and the Verification of Functional Programming Languages - 字舞流文

Remarks on SASL and the Verification of Functional Programming Languages

Michael M. Richter | Klaus Nökel | Robert Rehbold

[1] Matt Kaufmann,et al. A prototype theorem-prover for a higher-order functional language , 1985, SOEN.

[2] Chen C. Chang,et al. Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .

[3] M. Schönfinkel. Über die Bausteine der mathematischen Logik , 1924 .

[4] D. A. Turner,et al. A new implementation technique for applicative languages , 1979, Softw. Pract. Exp..

[5] Yiannis N. Moschovakis,et al. Abstract first order computability. II , 1969 .