Behavior of database production rules: Termination, confluence, and observable determinism
- Alexander Aiken
- Jennifer Widom
- et al.
- 1992
- SIGMOD 1992
Publications
This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.
Date
Featured collections
Popular topics
10 results for Alex Aiken
Program transformation in the presence of errors
- Alexander Aiken
- John H. Williams
- et al.
- 1990
- POPL 1990
Testing atomicity of composed concurrent operations
- Ohad Shacham
- Nathan Bronson
- et al.
- 2011
- OOPSLA 2011
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
Static type inference in a dynamically typed language
- Alexander Aiken
- Brian R. Murphy
- 1991
- POPL 1991
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)
Optimal representations of polymorphic types with subtyping
- Alexander Aiken
- Edward L. Wimmers
- et al.
- 1999
- Higher-Order and Symbolic Computation
Decidability of systems of set constraints with negative constraints
- Alexander Aiken
- Dexter Kozen
- et al.
- 1995
- Information and Computation
A theory of compaction-based parallelization
- Alexander Aiken
- 1990
- Theoretical Computer Science