An "executable " impredicative semantics for the Ada configuration

Authors
A.Bucci,P.Inverardi,S.Martini
Citation
A.bucci,p.inverardi,s.martini, An "executable " impredicative semantics for the Ada configuration, Formal aspects of computing The international journal of formal methods , 5(2), 1993, pp. 91-120
Journal title
Formal aspects of computing The international journal of formal methods → ACNP
ISSN journal
09345043
Volume
5
Issue
2
Year of publication
1993
Pages
91 - 120
Database
ACNP
SICI code