Edward Yan-Bing Wang  Home/Search
Context Related
| edcom.com/~edward/thesis.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: edcom.com/~edward/cv (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Analysis of Recursive Types in an Imperative Language by Edward Yan-Bing Wang Doctor of Philosophy in Computer Science University of California at BERKELEY Professor Paul N. Hilfinger, Chair I introduce Algorithm P and p-set, a new type-analysis algorithm and its associated type description, capable of deducing and accurately representing recursive types in programs in an imperative language, using type information present in both object creation and object use. When applied to Lisp and used to ... (Update)
Context of citations to this paper: More
.... the abstract state used by our specialized certifer with that computed by a sophisticated heap analysis based on storage shape graphs [37, 33]. These analyses merge variables representing values of nullary predicate abstraction used for certification boolean stale i1 ,...
Cited by: More
Parametric Shape Analysis via 3-Valued Logic - Mooly Sagiv Thomas (Correct)
A Decidable Logic - For Describing Linked (Correct)
Unknown - Symbolic Parallel Programming (Correct)
Active bibliography (related documents): More All
1.9: Analysis of Recursive Types in Lisp-like Languages - Wang, Hilfinger (1992) (Correct)
0.8: A Simple Approach To Supporting Untagged Objects In.. - Bigot, Debray (Correct)
0.7: The Evolution of Lisp - Steele, Jr., Gabriel (1993) (Correct)
Similar documents based on text: More All
0.8: Reordering and Storage Optimizations for Scientific Programs - Pike (2002) (Correct)
0.3: HML: An Innovative Hardware Description Language and Its.. - Li, Leeser (1995) (Correct)
0.3: MIDAS - a functional simulator for mixed digital and analog.. - Williams, Wooley (1995) (Correct)
Related documents from co-citation: More All
18: Parallelizing Programs with Recursive Data Structures (context) - Hendren - 1990
15: Solving shape-analysis problems in languages with destructive updating - Sagiv, Reps et al. - 1996
10: Analysis of pointers and structures (context) - Chase, Wegman et al. - 1990
BibTeX entry: (Update)
E. Y.-B. Wang. Analysis of Recursive Types in an Imperative Language. PhD thesis, University of California, Berkeley, CA, 1994. http://citeseer.ist.psu.edu/article/wang94analysis.html More
@inproceedings{ wang94analysis,
author = "H. Wang and D. M. Blough and L. Alkalaj",
title = "Analysis and Experimental Evaluation of Comparison-Based System-Level Diagnosis for Multiprocessor Systems",
booktitle = "{FTCS}-24: 24th International Symposium on Fault Tolerant Computing",
publisher = "IEEE Computer Society Press",
address = "Austin, Texas",
pages = "55--65",
year = "1994",
url = "citeseer.ist.psu.edu/article/wang94analysis.html" }
Citations (may not include all citations):1399 Compilers: Principles (context) - Aho, Sethi et al. - 1985
809 A theory of type polymorphism in programming (context) - Milner - 1978
484 Common LISP: The Language (context) - Steele - 1984
484 Common LISP: The Language (context) - Steele - 1990
252 Analysis of pointers and structures (context) - Chase, Wegman et al. - 1990
249 volume 3: Sorting and Searching (context) - Knuth, of - 1973
232 Constant propagation with conditional branches (context) - Frank, Zadeck - 1985
207 Flow analysis and optimization of Lisp-like structures (context) - Jones, Muchnick - 1981
187 Type inclusion constraints and type inference - Aiken, Wimmers - 1993
132 Detecting conflicts between structure accesses (context) - Larus, Hilfinger - 1988
91 An efficient way to find the side effects of procedure calls.. (context) - Banning - 1979
78 Soft typing - Cartwright, Fagan - 1991
68 Performance and Evaluation of Lisp Systems (context) - Gabriel - 1985
66 Declaration-free type checking (context) - Mishra, Reddy - 1985
35 Partial type inference for untyped functional programs (context) - Gomard - 1990
25 Symbolic program analysis in almost linear time (context) - Reif, Tarjan - 1981
20 Representing type information in dynamically typed lanuages - Gudeman - 1993
20 Empirical Analysis of a Lisp System (context) - Shaw - 1988
17 An optimizing compiler for lexically scoped LISP (context) - Brooks, Gabriel et al. - 1982
13 Lisp on a Reduced-Instruction-Set Processor: Characterizatio.. (context) - Steenkiste - 1987
13 A scheme for the automatic inference of variable types (context) - Kaplan, Ullman - 1980
13 Soft Typing: An Approach to Type Checking for Dynamically Ty.. - Fagan - 1990
8 A general scheme for the automatic inference of variable typ.. (context) - Kaplan, Ullman - 1978
7 Preliminary report on a practical type inference system for .. (context) - Beer - 1987
4 Implementation of Interlisp on the VAX (context) - Bates, Dyer et al. - 1982
3 Common Lisp implementation (context) - Brooks, Gabriel et al. - 1982
3 Kyoto Common Lisp Report (context) - Yuasa, Hagiya - 1985
3 PSL: A portable Lisp system (context) - Griss, Benson et al. - 1982
2 TICL---a type inference system for Common Lisp (context) - Ma, Kessler - 1990
2 LISP on a reduced-instruction-set-processor (context) - Steenkiste, Hennessy - 1986
2 dynamically retargetable compiler for Common Lisp (context) - Brooks, Posner et al. - 1986
2 Type checking in an imperfect world (context) - Miller - 1979
2 University of California at Berkeley (context) - Wang, for et al. - 1988
2 Type Flow Analysis for Exploratory Software Development (context) - Johnson - 1990
2 Implementing Primitive Datatypes for Higher-Level Languages (context) - Shebs - 1988
2 highly optimizing Lisp compiler (context) - Kessler, Peterson et al. - 1986
2 Current status of a portable Lisp compiler (context) - Griss, Benson - 1982
1 WWW version (context) - Steele, LISP et al. - 1994
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.edcom.com/~edward/cv.html): More
Analysis of Recursive Types in Lisp-like Languages - Wang, Hilfinger (1992) (Correct)
A Compiler for Silage - Wang (1994) (Correct)
Aleph - A Language for Typesetting - Semenzato, Wang (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