Author:
Hogen Guido,Kindler Andrea,Loogen Rita
Publisher
Springer Berlin Heidelberg
Reference31 articles.
1. S.Abramsky: Strictness Analysis and Polymorphic Invariance, Workshop on Programs as Data Objects, LNCS 217, Springer Verlag 1985.
2. S.Abramsky, C.Hankin (eds.): Abstract Interpretation of Declarative Languages, Ellis Horwood Limited 1987.
3. G.Burn, C.L.Hankin, S.Abramsky: Strictness Analysis for Higher-Order Functions, Science of Computer Programming, Vol.7, November 1986.
4. G.Burn: Evaluation Transformers — A Model for the Parallel Evaluation of Functional Languages, Conf. on Functional Progr. Lang. and Computer Architecture, LNCS 274, Springer Verlag 1987.
5. G.Burn: Abstract Interpretation and the Parallel Evaluation of Functional Languages, Ph.D. Thesis, Imperial College, London 1987.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献