META 1992 | Sciweavers

53

META
1992

218views Automated Reasoning» more META 1992»

Logic Meta-Programming Facilities in 'LOG

14 years 4 months ago

A meta-level extension of a logic programming language is presented. The resulting language, called 'LOG (read quote-log), provides meta-programming facilities similar to thos...

Iliano Cervesato, Gianfranco Rossi

claim paper

Read More »

56

click to vote

META
1992

220views Automated Reasoning» more META 1992»

Propagation: A New Operation in a Framework for Abstract Interpretation of Logic Programs

14 years 4 months ago

Download lirias.kuleuven.be

ract Interpretation of Logic Programs Maurice Bruynooghe and Gerda :Ianssens Department of Computer Science, Katholleke Universiteit Leuven Celestijnenlaan 200A, B-3001 Heverlee, B...

Maurice Bruynooghe, Gerda Janssens

claim paper

Read More »

39

click to vote

META
1992

192views Automated Reasoning» more META 1992»

Transforming Normal Programs by Replacement

14 years 4 months ago

Download doc.utwente.nl

The replacement transformation operation, already defined in [28], is studied wrt normal programs. We give applicability conditions able to ensure the correctness of the operation ...

Annalisa Bossi, Nicoletta Cocco, Sandro Etalle

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers