Zusammenfassung
Für die Erzeugung von effizientem Code durch einen Übersetzer ist es wichtig, verschiedene Eigenschaften eines vorliegenden Programms analysieren zu können. In diesem Zusammenhang ist zum Beispiel der Wertebereich einer Variablen an einer bestimmten Stelle des Programms oder die Striktheit einer Funktion in einem Argument interessant.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literaturhinweise
Burn, G. L., C. L. Harkin and S. Abramsky: The Theory of Strictness Analysis for Higher Order Functions. In: Ganzinger, H. and N. D. Jones (Eds.): Programs as Data Objects, S. 42–62, Copenhagen, Denmark, Oktober 1985. Springer Verlag. LNCS 217.
Wadler, P. L.: Abstract Interpretation of Declarative Languages, Kapitel 12. Ellis Horwood, 1987.
Jones, S. B. and D. Le Métayer: A New Method for Strictness Analysis on Non-Flat Domains. In: Davis, K. and J. Hughes (Eds.): Functional Programming, Glasgow 1989, S. 1–11. Springer-Verlag, 1990.
Benton, P. N.: Strictness Properties of Lazy Algebraic Datatypes. In: Filé, G. [Fi193], S. 206–217. LNCS 724.
Davis, K. and P. Wadler: Strictness Analysis in 4D. In: Peyton Jones, S. L., G. Hutton and C. K. Holst (Eds.): Functional Programming, Glasgow 1989,S. 23–43, London,1990. Springer-Verlag.
Hunt, S. and C. Hankin: Fixed points and frontiers: a new perspective. Journal of Functional Programming, 1(1):91–120. 1991
Davis, K.: Higher-order Binding-time Analysis. In: Schmidt, D. [Sch93], S. 78–87.
Seward, J.: Polymorphic Stricness Analysis Using Frontiers. In: Schmidt, D. [Sch93], S. 186–193.
van Eekelen, M., E. Goubault, C. Hankin and E. Nöcker: Abstract Reduction: Towards a Theory via Abstract Interpretation, Kapitel 13. In: Sleep, M. R. et al. [SPv92], 1992.
Nöcker, E.: Strictness Analysis using Abstract Reduction. In: Arvind [Arv93], S. 255–265.
Goubault, E. and C. L. Hankin: A Lattice for the Abstract Interpretation of Term Graph Rewriting Systems, Kapitel 9. In: Sleep, M. R. et al. [SPv92], 1992.
Hankin, C. and D. Le Metayér: Deriving Algorithms From Type Inference Systems: Application to Strictness Analysis. In: POPLI994 [POP94], S. 202–212.
Hankin, C. and D. Le Métayer: Lazy Type Inference for the Strictness Analysis of Lists. In: Sannella, D. [San94], S. 257–271. LNCS 788.
Jensen, T. P.: Strictness Analysis in Logical Form. In: Hughes, J. [Hug91], S. 352–366. LNCS 523.
Ferguson, A. and J. Hughes: Fast Abstract Interpretation Using Sequential Algorithms. In: Filé
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1994 B. G. Teubner Stuttgart
About this chapter
Cite this chapter
Thiemann, P. (1994). Abstrakte Interpretation. In: Grundlagen der funktionalen Programmierung. Leitfäden der Informatik. Vieweg+Teubner Verlag. https://doi.org/10.1007/978-3-322-89207-2_14
Download citation
DOI: https://doi.org/10.1007/978-3-322-89207-2_14
Publisher Name: Vieweg+Teubner Verlag
Print ISBN: 978-3-519-02137-7
Online ISBN: 978-3-322-89207-2
eBook Packages: Springer Book Archive