论文信息 - Syntactic properties of the refal language - 字舞流文

Syntactic properties of the refal language

A programming language REFAL is one of the languages created for symbolic manipulation. It is implemented on various computers. Syntactic properties of this language are formally investigated in this paper.

[1] Ralph E. Griswold,et al. The SNOBOL4 programming language , 1968 .

[2] Gérard P. Huet,et al. Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems , 1980, J. ACM.

[3] 倉西正武. Lectures on involutive systems of partial differential equations , 1967 .

[4] Ralph E. Griswold,et al. A Snobol4 Primer , 1973 .

[5] J. Pommaret. Systems of partial differential equations and Lie pseudogroups , 1978 .

[6] Gerard Huet,et al. Conflunt reductions: Abstract properties and applications to term rewriting systems , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).

[7] John W. Backus,et al. Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs , 1978, CACM.