Testing atomicity of composed concurrent operations
- Ohad Shacham
- Nathan Bronson
- et al.
- 2011
- OOPSLA 2011
Publications
10 results for Alex Aiken
Optimal representations of polymorphic types with subtyping
- Alexander Aiken
- Edward L. Wimmers
- et al.
- 1999
- Higher-Order and Symbolic Computation
Safe: A Semantic Technique for Transforming Programs in the Presence of Errors
- Alexander Aiken
- John H. Williams
- et al.
- 1995
- ACM Transactions on Programming Languages and Systems (TOPLAS)
Decidability of systems of set constraints with negative constraints
- Alexander Aiken
- Dexter Kozen
- et al.
- 1995
- Information and Computation
Soft typing with conditional types
- Alexander Aiken
- Edward L. Wimmers
- et al.
- 1994
- POPL 1994
Type inclusion constraints and type inference
- Alexander Aiken
- Edward L. Wimmers
- 1993
- FPCA 1993
Behavior of database production rules: Termination, confluence, and observable determinism
- Alexander Aiken
- Jennifer Widom
- et al.
- 1992
- SIGMOD 1992
Static type inference in a dynamically typed language
- Alexander Aiken
- Brian R. Murphy
- 1991
- POPL 1991
Program transformation in the presence of errors
- Alexander Aiken
- John H. Williams
- et al.
- 1990
- POPL 1990
A theory of compaction-based parallelization
- Alexander Aiken
- 1990
- Theoretical Computer Science