Logic Program Synthesis and Transformation-- Meta-Programming in Logic: 4th International Workshops, Lopstr '94 and Meta '94, Pisa, Italy, June 1994 (Lecture Notes in Computer Science) - Hardcover

Inhaltsangabe

Dieser Band stellt das kombinierte Verfahren der 4. International Workshops on Logic Program Synthesis and Transformation (LOPSTR '94) und über Meta-Programming dar.
(META '94), die im Juni 1994 gemeinsam in Pisa (Italien) stattfand.
Dieses Buch enthält gründlich überarbeitete Versionen der besten Papiere, die in beiden Workshops präsentiert werden. Die Hauptthemen, die in den META-Papieren angesprochen werden, sind Spracherweiterungen zur Unterstützung der Meta-Logik, Semantik der Meta-Logik, Implementierung von Meta-logischen Funktionen, Leistung von Meta-Logik und mehrere anwendungsbezogene Aspekte. Die LOPSTR Papiere widmen sich der Entfaltung/Faltung, partiellen Abzug, Proofs als Programmen, induktiver Logikprogrammierung, automatisierter Programmverifizierung, Spezifikation und Programmiermethoden.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.