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.