Download citation

Top-down mathematical semantics and symbolic execution

RAIRO. Inform. théor., 17 1 (1983) 55-70
DOI: https://doi.org/10.1051/ita/1983170100551