Research Archives for Chris Koeritz

...Incomplete and Disorganized...
you have been warned.

Papers:

Anomalies Encountered in Ada Exception Handling
Semantics of Ada Exception Handling (somewhat broken)
An Axiomatic Basis for Understanding Exceptional Control Flow in Ada

PhD Proposal:

Proposal body (in html)
Other pieces (in doc format):
    front_matter.doc
    evaluation.doc
    literature_survey.doc
    references.doc
    proposal_heap.doc
    zeno_ada.doc

Zeno Specification Language:

Zeno Formal Model Stew Pot
Zeno Parser Pieces in Disarray

Examples:

network_operations.doc
safety_toaster.doc