Interprocedural data flow analysis In the presence of pointers, procedure variables, and label variables
- William E. Weihl
- 1980
- POPL 1980
Publications
Date
Featured collections
Popular topics
2 results for William E. Weihl
Atomic Incremental Garbage Collection and Recovery for a Large Stable Heap
- Elliot K. Kolodner
- William E. Weihl
- 1993
- SIGMOD Record