Using static analysis to derive imperative code from ALPHA

Bibliographische Detailangaben

1. Verfasser:	Quinton, Patrice (VerfasserIn)
Weitere Verfasser:	Rajopadhye, Sanjay (VerfasserIn), Wilde, Doran (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Le Chesnay INRIA 1994
Schriftenreihe:	INRIA rapports de recherche Programme 1, robotique, image et vision 2286
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!