Myra VanInwegen's Publications

• Three Notes on the Interpretation of Verilog, Daryl Stewart, Myra VanInwegen. Univ. of Cambridge Computer Lab Tech Report No. 485, Feb 2000.
• Towards Type Preservation for Core SML. Myra VanInwegen. Submitted to the Journal of Automated Reasoning Special Issue on Formal Proof, January 1997.
• The Machine-Assisted Proof of Programming Language Properties. Ph.D. Thesis. Univ. of Pennsylvania Computer and Information Science Tech Report MS-CIS-96-31, December 1996.
• HOL-ML. Myra VanInwegen, Elsa Gunter. In Higher Order Logic Theorem Proving and Its Applications, Springer-Verlag Lecture Notes in Computer Science Vol. 780, February 1994, pp. 61-73.
• Xpnet: a graphical interface to proof nets with an efficient proof checker. Jawahar Chirimar, Carl Gunter, Myra VanInwegen. In Automated Deduction - CADE-11, Springer-Verlag Lecture Notes in Artificial Intelligence Vol. 607, June 1992, pp. 711-715.
• A Basis for Interactive Schema Merging. P. Buneman, S. Davidson, A. Kosky, M. VanInwegen. Proc. 25-th Hawaii International Conference on System Sciences 1992, Vol II: Software Technology IEEE Computer Society Press, January 1992, pp. 311-322.
• Color Editing With Simple Encoded Images. US Patent No. 5204665. Inventors: James Bollman, Myra VanInwegen. Assignee: Xerox Corporation. April 1993.