Detecting equality of variables in programs
- Bowen Alpern
- Mark N. Wegman
- et al.
- 1988
- POPL 1988
Conference paper
Publications
40 results for Mark Wegman
Global value numbers and redundant computations
- Barry K. Rosen
- Mark N. Wegman
- et al.
- 1988
- POPL 1988
Conference paperWhat it's like to be a POPL referee; or How to write an extended abstract so that it is more likely to be accepted
- 1986
- ACM SIGPLAN Notices
PaperPCTERM: A TERMINAL EMULATOR USING COMPRESSION.
- Marc Auslander
- William Harrison
- et al.
- 1985
- GLOBECOM 1985
Conference paperCOMPLEXITY OF BACKTRACK SEARCHES.
- Larry Carter
- Larry Stockmeyer
- et al.
- 1985
- STOC 1985
Conference paperPROGRAM DEVELOPMENT TOOL.
- C.N. Alberga
- A.L. Brown
- et al.
- 1984
- IBM J. Res. Dev
PaperSUMMARIZING GRAPHS BY REGULAR EXPRESSIONS.
- 1983
- POPL 1983
Conference paperImprovements to a program for DNA analysin: A procedure to find homologies among many sequences
- Cary Queen
- Mark N. Wegman
- et al.
- 1982
- Nucleic acids research
PaperA program development tool
- C.N. Alberga
- A.L. Brown
- et al.
- 1981
- POPL 1981
Conference paperNew hash functions and their use in authentication and set equality
- Mark N. Wegman
- J. Lawrence Carter
- 1981
- Journal of Computer and System Sciences
Paper