Dynamic Interpretation and Hoare Deduction: Extended Abstract

Authors

Jan van Eijck CWI, Amsterdam
Fer-Jan de Vries OTS, Utrecht

DOI:

https://doi.org/10.3765/salt.v1i0.2957

Abstract

No abstract.

Downloads

PDF

Published

1991-04-03

Issue

Proceedings of SALT 1

Section

Articles

License

Articles appearing in SALT are published under an author agreement with the Linguistic Society of America and are made available to readers under a Creative Commons Attribution License.