Henry G. Baker  Home/Search
Context Related
| nctu.edu.tw/eriol/TR/TInference.ps.Z netcom.com/pub/hb/hba...TInference.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: nctu.edu.tw/eriol/index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: data types model the semantic intent of the programmer with respect to individual variable values, so that global properties of these individual values (e.g., evenness or primeness of an integer value) are maintained. The assert construct allows for the specification of complex relationships among several variables. However, since we are interested in improving run-time efficiency, we will assume that the program is already semantically correct, and will therefore concern ourselves only with... (Update)
Context of citations to this paper: More
...or when a defined function is analysed before those functions that use it are analysed. A type inference approach proposed by Baker [1] inspired us to use refined types. But the need to use the costly Kaplan Ullman fixed point algorithm makes this approach less attractive....
...to improve previous work on type inference for Common Lisp. TICL proposed by Ma and Kessler [8] and a type inference approach by Baker [1] perform only atomic, non recursive types by operating on Common Lisp source code. The size and unrestricted nature of Common Lisp prevents...
Cited by: More
Simulated Overloading using Generic Functions in Scheme - Cox (1999) (Correct)
A Practical Approach to Type Inference in EuLisp - Kind, Friedrich (1993) (Correct)
A Practical Approach to Type Inference for EuLisp - Kind, Friedrich (1993) (Correct)
Active bibliography (related documents): More All
0.5: Efficient Implementation of Bit-vector Operations in Common Lisp - Baker (1990) (Correct)
0.4: Global Tagging Optimization by Type Inference - Henglein (1992) (Correct)
0.3: The Gabriel 'Triangle' Benchmark at Warp Speed - Baker (1992) (Correct)
Similar documents based on text: More All
0.5: Pragmatic Parsing in Common Lisp - Baker (1991) (Correct)
0.3: CLOStrophobia: Its Etiology and Treatment - Baker (1991) (Correct)
0.2: Strategies for the Lossless Encoding of Strings as Ada Identifiers - Baker (1993) (Correct)
Related documents from co-citation: More All
2: A proposal for Standard ML (context) - Milner - 1984
2: A theory of type polymorphism in programming (context) - Milner - 1978
2: TICL---a type inference system for Common Lisp (context) - Ma, Kessler - 1990
BibTeX entry: (Update)
Baker, H. G. The Nimble type inferencer for Common Lisp-84. (April 1990). Pre-puplication version. http://citeseer.ist.psu.edu/baker90nimble.html More
@techreport{ baker90nimble,
author = "Henry G. Baker",
title = "The Nimble Type Inferencer for Common Lisp-84",
year = "1990",
url = "citeseer.ist.psu.edu/baker90nimble.html" }
Citations (may not include all citations):1399 Compilers: Principles (context) - Alfred, Sethi et al. - 1986
815 Abstract Interpretation: a unified lattice model for static .. (context) - Cousot, Cousot - 1977 DBLP
809 A Theory of Type Polymorphism in Programming (context) - Robin - 1978
652 A Discipline of Programming (context) - Dijkstra - 1976
286 The Connection Machine (context) - Hillis - 1985 ACM
173 Bulldog: A Compiler for VLIW Architectures (context) - John - 1986
162 Data types as lattices (context) - Scott - 1976 DBLP
127 Control Flow Analysis in Scheme (context) - Shivers - 1978 ACM
90 On Understanding Types, Data Abstraction, and Polymorphism - Cardelli, Wegner - 1985 ACM DBLP
71 Abstract Interpretation and Optimising Transformation for Ap.. (context) - Alan - 1981
68 Performance and Evaluation of Lisp Systems (context) - Richard - 1985 ACM
66 Interprocedural Constant Propagation (context) - Callahan, Cooper et al. - 1986 ACM DBLP
59 Compiler Analysis of the Value Ranges for Variables (context) - William - 1977 DBLP
42 Rationale for the design of the Ada programming language (context) - Ichbiah - 1979 ACM
41 Implementation of an array bound checker (context) - Norihisa - 1981 ACM DBLP
38 Deciding ML Typability is Complete for Deterministic Exponen.. (context) - Mairson - 1990 ACM DBLP
35 Springer-Verlag (context) - Timothy, Compiler - 1988
33 A Semantic Prototyping System (context) - Wand - 1984 ACM DBLP
32 Unify and Conquer (context) - Baker - 1990 ACM DBLP
32 Optimization of Range Checking (context) - Victoria, John et al. - 1979 ACM DBLP
29 A Type Declaration and Inference System for Smalltalk (context) - Alan, Ingalls - 1982 ACM DBLP
28 Quasi-static Typing (context) - Satish - 1990 ACM DBLP
23 Abstract Interpretation and the Parallel Evaluation of Funct.. (context) - Burn - 1987
23 A decision procedure for the first order theory of real addi.. (context) - Jeanne, Charles - 1975 DBLP
21 InterLISP Reference Manual (context) - Teitelman - 1978
19 Embedding Continuations (context) - Christopher, Friedman - 1987
19 bit Microprocessor Programmer's Reference Manual (context) - Corporation - 1989
15 Polymorphic unification and ML typing (context) - Kanellakis, Mitchell - 1989 ACM DBLP
15 Standard ML (context) - Harper - 1986
15 Types are Not Sets (context) - Morris - 1973 ACM DBLP
13 A Scheme for the Automatic Inference of Variable Types (context) - Marc, 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) - Kwan-Liu, Robert - 1990
6 Type determination for very high level languages (context) - Tenenbaum - 1974
6 Optimization of very high level languages---I. Value transmi.. (context) - Schwartz - 1975
5 Research Institute for Mathematical Sciences (context) - Yuasa, Hagiya - 1985
4 Conditional Expressions with Equality Tests (context) - Ravi - 1978 ACM DBLP
4 Design of an Optimizing, Dynamically Retargetable Compiler f.. (context) - Brooks - 1986 ACM DBLP
4 S-1 Common Lisp Implementation (context) - Brooks, Gabriel et al. - 1982 ACM DBLP
3 Efficient Implementation of Bit-vector Operations in Common .. - Baker - 1990
3 Government Printing Office (context) - Reference, the et al. - 1983
2 A Decision Procedure for Common Lisp's SUBTYPEP Predicate (context) - Baker - 1992 DBLP
1 A Simplified Operator Identification Scheme in Ada (context) - Pennello, Meyers - 1980
1 Type Inference and Type Checking for Functional Programming .. (context) - Takuya - 1984
1 The ALS Ada Compiler Global Optimizer (context) - Taffs, Taffs et al. - 1985 ACM
1 User-defined Data Types as an Aid to Verifying Lisp Programs (context) - Cartwright - 1984 DBLP
1 MACLISP Reference Manual Rev (context) - Moon - 1974
1 Does APL really need run-time checking (context) - Alan, Saal - 1974
Documents on the same site (http://plaslab.cis.nctu.edu.tw/eriol/index.html): More
Advanced Languages for Systems Software The Fox Project in 1994 - Harper, Lee (1994) (Correct)
Modularity and Reusability in Attribute Grammars - Kastens, Waite (1992) (Correct)
Reflections on Standard ML - MacQueen (1994) (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