Dynamic Interpretation and Hoare Deduction: Extended Abstract

Jan van Eijck, Fer-Jan de Vries

Abstract


No abstract.

Full Text:

PDF


DOI: http://dx.doi.org/10.3765/salt.v1i0.2957

Copyright (c) 2015 Jan van Eijck, Fer-Jan de Vries