An implementation technique for the abstract interpretation of Prolog

Bibliographische Detailangaben

1. Verfasser:	Waern, Annika (VerfasserIn)
Körperschaft:	Swedish Institute of Computer Science (Herausgebendes Organ)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Stockholm Swedish Institute of Computer Science 1988
Schriftenreihe:	Research Report / Swedish Institute of Computer Science 1988,4
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!