Вы здесь

Aiken A.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C 2000 Foster J. S., Fahndrich M., Aiken A. Lecture Notes in Computer Science Lecture Notes in Computer Science 19.08.2000
СТ Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs 2000 Su Z., Fahndrich M., Aiken A. Papers Presented at the 27th ACM SIGPLAN-SIGACT Symp. on Pinciples of Programming Languages 05.06.2000
СТ Type Systems for Distributed Data Structures 2000 Liblit B., Aiken A. Papers Presented at the 27th ACM SIGPLAN-SIGACT Symp. on Pinciples of Programming Languages 05.06.2000
СТ A Theory of Type Qualifiers 1999 Foster J. S., Fahndrich M., Aiken A. SIGPLAN Notices 20.08.1999
СТ A Toolkit for Constructing Type- and Constraint-Based Program Analyses 1998 Aiken A., Fahndrich M., Foster J. S., Su Z. Lecture Notes in Computer Science 24.09.1998
СТ Memory Management with Explicit Regions 1998 Gay D., Aiken A. SIGPLAN Notices 16.09.1998
СТ Optimal Representations of Polymorphic Types with Subtyping 1997 Aiken A., Wimmers E. L., Palsberg J. Lecture Notes in Computer Science 20.09.1997
СТ Soft Typing with Conditional Types 1994 Aiken A., Wimmers E. L., Lakshman T. K. Proc. of the POPL 94: 21st ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages 29.08.1997
СТ Cool: A Portable Project for Teaching Compiler Construction 1996 Aiken A. SIGPLAN Notices 11.12.1996
СТ Better Static Memory Management: Improving Region-Based Analysis of Higher-Order Languages 1995 Aiken A., Fahndrich M., Levien R. ACM SIGPLAN Notices 13.09.1995
СТ Using the Run-Time Sizes of Data Structures to Guide Parallel-Thread Creation 1994 Huelsbergen L., Larus J. R., Aiken A. LISP Pointers 13.01.1995
СТ Set Constraints: Results, Applications and Future Directions 1994 Aiken A. Lecture Notes in Computer Science 22.12.1994
СТ Directional Type Checking of Logic Programs 1994 Aiken A., Lakshman T. K. Lecture Notes in Computer Science 24.11.1994
СТ The Complexity of Set Constraints 1994 Aiken A., Kozen D., Vardi M., Wimmers E. Lecture Notes in Computer Science 25.08.1994
СТ Fine-grain Parallelization and the Wavefront Method 1990 Aiken A., Nicolau A. Languages and Compilers for Parallel Computing 22.10.1992
СТ Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism 1992 Aiken A., Widom J., Hellerstein J. M. SIGMOD Record 13.08.1992