Dr. Jill M Seaman

  • Professor of Instruction at Computer Science, College of Science & Engineering

Scholarly and Creative Works

1996

  • Iyer, S. P., & Seaman, J. M. (1996). An Operational Semantics of Sharing in Lazy Evaluation. Science of Computer Programming, 27(3), 289–322.

1994

  • Seaman, J., & Felty, A. (1994, January). Proving Properties about a Lazy Functional Language with the Coq Proof Development System. Technical Report.

1993

  • Purushothaman, S., & Seaman, J. (1993). From Operational Definitions to Abstract Semantics. In Functional Programming Languages and Computer Architecture (pp. 276–288).

1992

  • Seaman, J. (1992). An Adequate Operational Semantics for Sharing in Lazy Evaluation. In In The European Symposium of Programming (pp. 435–450).