Syntactic properties of the refal language
暂无分享,去创建一个
[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.