TY  - UNPD
A1  - Schütz, Marko
A1  - Schmidt-Schauß, Manfred
T1  - Automatic extraction of context information from programs using abstract reduction
T2  - Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik ; 8
N2  - This paper describes context analysis, an extension to strictness analysis for lazy functional languages. In particular it extends Wadler's four point domain and permits in nitely many abstract values. A calculus is presented based on abstract reduction which given the abstract values for the result automatically finds the abstract values for the arguments. The results of the analysis are useful for veri fication purposes and can also be used in compilers which require strictness information.
T3  - Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik - 8 
Y1  - 1997
UR  - http://publikationen.ub.uni-frankfurt.de/frontdoor/index/index/docId/4602
UR  - https://nbn-resolving.org/urn:nbn:de:hebis:30-8956
UR  - http://www.ki.informatik.uni-frankfurt.de/papers/marko/Context-Calculus.ps
PB  - Johann Wolfgang Goethe-Univ., Fachbereich Informatik und Mathematik, Inst. für Informatik, Research group for Artificial Intelligence and Software Technology
CY  - Frankfurt [am Main]
ER  -