Andreas Kind, Horst Friedrich  Home/Search
Context Related
Links: ACM DBLP | maths.bath.ac.uk/~ak1/papers...infer.ps maths.bath.ac.uk/~jap/ak1/pa...infer.ps gmd.de/GMD/apply/papers/infer.ps.Z 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: maths.bath.ac.uk/~ak1/ (more) From: maths.bath.ac.uk/~jap/ak1/ (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . Lisp applications need to show a reasonable cost-benefit relationship between the offered expressiveness and their demand for storage and run-time. Drawbacks in efficiency, apparent in Lisp as a dynamically typed programming language, can be avoided by optimizations. Statically inferred type information can be decisive for the success of these optimizations. This paper describes a practical approach to type inference realized in a module and application compiler for EuLisp. The approach is... (Update)
Context of citations to this paper: More
...example) so one never has tagged and untagged aliases for the same item. His algorithm does not consider polymorphism or module compilation [15]. The CCured system uses a form of physical subtyping for pointers to structures and it is not clear how to extend Henglein s...
Cited by: More
Taming C Pointers - Necula, McPeak, Weimer (2002) (Correct)
CCured: Type-Safe Retrofitting of Legacy Code - Necula, McPeak, Weimer (2002) (Correct)
CCured in the Real World - Jeremy Condit Matthew (2003) (Correct)
Similar documents (at the sentence level):
15.0%: A Practical Approach to Type Inference in EuLisp - Kind, Friedrich (1993) (Correct)
Active bibliography (related documents): More All
0.5: Open Implementation and Flexibility in CSCW Toolkits - Dourish (1996) (Correct)
0.3: Practical Soft Typing - Wright (1994) (Correct)
0.3: A Practical Soft Type System for Scheme - Wright, Cartwright (1994) (Correct)
Similar documents based on text: More All
0.6: A Conservative Garbage Collector for an EuLisp to ASM/C Compiler - Kriegel (1993) (Correct)
0.5: An Overview of EuLisp - Padget, (eds.) (1993) (Correct)
0.5: Balancing the EuLisp Metaobject Protocol - Bretthauer, Kopp, al. (1993) (Correct)
Related documents from co-citation: More All
9: Global tagging optimization by type inference - Henglein - 1992
8: Soft typing - Cartwright, Fagan - 1991
7: Quasi-static typing (context) - Thatte - 1990
BibTeX entry: (Update)
Kind, A., and Friedrich, H. A practical approach to type inference in EuLisp. Lisp and Symbolic Computation 6, 1/2 (August 1993), 159--175. http://citeseer.ist.psu.edu/kind93practical.html More
@article{ kind93practical,
author = "Andreas Kind and Horst Friedrich",
title = "A Practical Approach to Type Inference for {EuLisp}",
journal = "Lisp and Symbolic Computation",
volume = "6",
number = "1/2",
pages = "159--176",
year = "1993",
url = "citeseer.ist.psu.edu/kind93practical.html" }
Citations (may not include all citations):809 A theory of type polymorphism in programming (context) - Milner - 1978 DBLP
634 A machine-oriented logic based on the resolution principle (context) - Robinson - 1965 ACM DBLP
81 A proposal for standard ML (context) - Milner - 1984 ACM DBLP
63 Laboratory for Foundations of Computer Science (context) - Harper, to - 1986
48 Global tagging optimization by type inference - Henglein - 1992 ACM DBLP
13 A scheme for the automatic inference of variable types (context) - Kaplan, Ullman - 1980 ACM DBLP
11 Binding time optimization in programming languages (context) - Jones, Muchnick - 1976 ACM
9 TICL---A type inference system for Common Lisp (context) - Ma, Kessler - 1990
7 Preliminary report on a practical type inference system for .. (context) - Beer - 1987
3 The Nimble type inferencer for Common Lisp - Baker - 1990
3 Das Verbundvorhaben APPLY: Ein modernes und bedarfsgerechtes.. (context) - Bretthauer, Christaller et al. - 1992
2 An overview of EuLisp - Padget, Nuyens et al. - 1993 ACM DBLP
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.maths.bath.ac.uk/~ak1/):
Type Inference with Generic Type Schemes - Kind (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