SPES - A SYSTEM FOR LOGIC PROGRAM TRANSFORMATION

F Alexandre; K Bsaies; J P Finance; A Quere

Back

SPES - A SYSTEM FOR LOGIC PROGRAM TRANSFORMATION

Journal article

Peer reviewed

SPES - A SYSTEM FOR LOGIC PROGRAM TRANSFORMATION

F Alexandre, K Bsaies, J P Finance and A Quere

Lecture notes in computer science, Vol.624, pp.445-447

01/01/1992

Abstract

Computer Science

Computer Science, Artificial Intelligence

Science & Technology

Technology

Spes is an interactive system for transforming logic programs. It is intended as a formal tool for transforming Horn clauses specifications into correct and more efficient programs. The main transformations used in the Spes system are Unfolding and Folding.

Metrics

1 Record Views

Details

Title: SPES - A SYSTEM FOR LOGIC PROGRAM TRANSFORMATION
Creators - without role: F Alexandre
K Bsaies
J P Finance
A Quere
Publication Details: Lecture notes in computer science, Vol.624, pp.445-447
Publisher: Springer Nature
Number of pages: 3
Identifiers: 9925673808331
Academic Unit: Prince Sattam Bin Abdulaziz University
Language: English
Resource Type: Journal article