Marko Schütz  Home/Search
Context
Related
| ki.informatik.unifran...TRabsg.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ki.informatik.unifran...articles (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: graph rewriting : : : : : : : : : : : : : : : : : : : : : : : 11 3.1.1 Abstract values : : : : : : : : : : : : : : : : : : : : : : : : 11 3.1.2 Reduction path analysis : : : : : : : : : : : : : : : : : : : 14 3.2 Neededness : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 18 3.3 Storage and usage of strictness information : : : : : : : : : : : : : 18 3.4 Non-strict implementation : : : : : : : : : : : : : : : : : : : : : : 19 3.5 Abandoning termination analysis : : : : : : : : : : :... (Update)
Similar documents (at the sentence level):
14.7%: Efficient Strictness Analysis of Haskell in Haskell.. - Schütz.. (Correct)
Active bibliography (related documents): More All
0.6: Automatic Extraction of Context Information From Programs .. - Schütz, Schmidt-Schauß (1997) (Correct)
0.5: Strictness Analysis - Another Method - Winikoff (1993) (Correct)
0.2: Safety of Strictness Analysis via Term Graph Rewriting - Clark, Hankin, Hunt (2000) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.2: How Much Non-strictness do Lenient Programs Require? - Schauser, Goldstein (1995) (Correct)
0.2: Minimal Function Graphs Are Not Instrumented - Mycroft, Rosendahl (1992) (Correct)
0.1: Inference of Polymorphic and Conditional Strictness Properties - Jensen (1998) (Correct)
BibTeX entry: (Update)
@misc{ tz-gmachine,
author = "Marko Schütz",
title = "The G#-machine: Efficient strictness analysis in Haskell",
url = "citeseer.ist.psu.edu/153846.html" }
Citations (may not include all citations):333 Introduction to Functional Programming (context) - Bird, Wadler - 1988
146 The Glasgow Haskell compiler: a technical overview - Jones, Hall et al. - 1992
138 Functional Programming and Parallel Graph Rewriting (context) - Plasmeijer, van Ekelen - 1993
109 The Implementation of Functional Programming Languages (context) - Jones - 1987
75 Concurrent Clean - Nocker, Smetsers et al. - 1991
66 Efficient compilation of lazy evaluation - Johnsson - 1984
61 The theory and practice of transforming call-by-need into ca.. (context) - Mycroft - 1980
59 A compiler for Lazy ML (context) - Augustsson - 1984
54 Strictness analysis on non-flat domains (context) - Wadler - 1987
36 Lazy Functional Languages: Abstract Interpretation and Compi.. (context) - Burn - 1991
35 Implementing Functional Languages: a Tutorial (context) - Jones, Lester - 1991
27 Evaluation transformers - a model for the parallel evaluatio.. (context) - Burn - 1987
24 Strictness analysis using abstract reduction (context) - Nocker - 1993
14 Measuring the effectiveness of a simple strictness analyser - Jones, Partain
13 Combinator graph reduction: A congruence and its application.. (context) - Lester - 1988
5 Using strictness in the STG machine (context) - Howe, Burn - 1993
5 Strictness analysis by abstract reduction in orthogonal term.. (context) - Nocker - 1992
4 A lattice for the abstract interpretation of term graph rewr.. (context) - Goubault, Hankin - 1993
2 Efficient strictness analysis of Haskell (context) - Jensen, Hjaeresen et al. - 1994
1 Private correspondence (context) - Partain - 1995
Documents on the same site (http://www.ki.informatik.uni-frankfurt.de/papers/articles.html): More
Tinte: developing a prototype for typesetting music in Clean - a.. - Panitz (Correct)
A Partial Rehabilitation of Side-Effecting I/O.. - Schmidt-Schauß (1996) (Correct)
Efficient Strictness Analysis of Haskell in Haskell.. - Schütz.. (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC