Towards putting abstract interpretation of prolog into practice : design, implementation, and evaluation of a tool to verify and optimise prolog programs

Angaben zum Objekt

• Standort: Deutsche Nationalbibliothek Frankfurt am Main
• ISBN: 9783836488587
• Maße: 22 cm
• Umfang: XIV, 349 S.
• Sprache: Englisch
• Anmerkungen: Hergestellt on demand ; Zugl.: Louvain-la-Neuve, Université Catholique de Louvain, Diss., 2007

Klassifikation und Themen

• Klassifikation: Informatik

Beteiligte, Orts- und Zeitangaben

• Ereignis: Veröffentlichung
• (wo): Saarbrücken
• (wer): VDM Verlag Dr. Müller
• (wann): 2008
• Urheber: Gobert, François

Weitere Informationen

• Inhaltsverzeichnis: https://d-nb.info/989168387/04
• Rechteinformation: Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
• Letzte Aktualisierung: 11.06.2025, 14:25 MESZ