E-LIB Suche - Ergebnisse für: Aiken, Alexander

1

The first-order theory of subtyping constraints:

, In: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages,

Su, Zhendong ; Aiken, Alexander ; Niehren, Joachim.. - p. 203-216 , 2002

Link: https://dl.acm.org/doi/1..

2

Projection merging : reducing redundancies in inclusion ..:

, In: Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages,

Su, Zhendong ; Fähndrich, Manuel ; Aiken, Alexander - p. 81-95 , 2000

Link: https://dl.acm.org/doi/1..

3

Type systems for distributed data structures:

, In: Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages,

Liblit, Ben ; Aiken, Alexander - p. 199-213 , 2000

Link: https://dl.acm.org/doi/1..

4

A theory of type qualifiers:

, In: Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation,

Foster, Jeffrey S. ; Fähndrich, Manuel ; Aiken, Alexander - p. 192-203 , 1999

Link: https://dl.acm.org/doi/1..

5

Barrier inference:

, In: Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages,

Aiken, Alexander ; Gay, David - p. 342-354 , 1998

Link: https://dl.acm.org/doi/1..

6

DataSplash:

, In: Proceedings of the 1998 ACM SIGMOD international conference on Management of data,

Olston, Chris ; Woodruff, Allison ; Aiken, Alexander... - p. 550-552 , 1998

Link: https://dl.acm.org/doi/1..

7

Partial online cycle elimination in inclusion constraint gr..:

, In: Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation,

Fähndrich, Manuel ; Foster, Jeffrey S. ; Su, Zhendong. - p. 85-96 , 1998

Link: https://dl.acm.org/doi/1..

8

Dynamic typing and subtype inference:

, In: Proceedings of the seventh international conference on Functional programming languages and computer architecture,

Aiken, Alexander ; Fähndrich, Manuel - p. 182-191 , 1995

Link: https://dl.acm.org/doi/1..

9

Better static memory management : improving region-based..:

, In: Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation,

Aiken, Alexander ; Fähndrich, Manuel ; Levien, Raph - p. 174-185 , 1995

Link: https://dl.acm.org/doi/1..

10

Using the run-time sizes of data structures to guide parall..:

, In: Proceedings of the 1994 ACM conference on LISP and functional programming,

Huelsbergen, Lorenz ; Larus, James R. ; Aiken, Alexander - p. 79-90 , 1994

Link: https://dl.acm.org/doi/1..

11

Soft typing with conditional types:

, In: Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages,

Aiken, Alexander ; Wimmers, Edward L. ; Lakshman, T. K. - p. 163-173 , 1994

Link: https://dl.acm.org/doi/1..

12

Type inclusion constraints and type inference:

, In: Proceedings of the conference on Functional programming languages and computer architecture,

Aiken, Alexander ; Wimmers, Edward L. - p. 31-41 , 1993

Link: https://dl.acm.org/doi/1..

13

Behavior of database production rules : termination, con..:

, In: Proceedings of the 1992 ACM SIGMOD international conference on Management of data,

Aiken, Alexander ; Widom, Jennifer ; Hellerstein, Joseph M. - p. 59-68 , 1992

Link: https://dl.acm.org/doi/1..

14

Program transformation in the presence of errors:

, In: Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages,

Aiken, Alexander ; Wimmers, Edward L. ; Williams, John H. - p. 210-217 , 1989

Link: https://dl.acm.org/doi/1..

15

SolAero by Rocket Lab, Space Power Solutions and Product Ro..:

, In: 2023 13th European Space Power Conference (ESPC),

Haas, Alexander ; Derkacs, Daniel ; Aiken, Daniel... - p. 1-7 , 2023

Link: https://doi.org/10.1109/..