TY  - JOUR
AU  - Lévi, G.
AU  - Pegna, A. M.
TI  - Top-down mathematical semantics and symbolic execution
JO  - RAIRO. Informatique théorique
PY  - 1983
SP  - 55
EP  - 70
VL  - 17
IS  - 1
PB  - EDP-Sciences
UR  - http://www.numdam.org/item/ITA_1983__17_1_55_0/
LA  - en
ID  - ITA_1983__17_1_55_0
ER  -