PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Manco G., Turini F. A structural (Meta-Logical) semantics for linear objects. Internal note CNUCE-B4-95-051, 1995.
 
 
Abstract
(English)
We propose a metaŚlogical reconstruction of the linar logic programming language Linear Objects. The meta-logic is based on a CLP schema, that can handle multisets of formulas. I The metaŚlogic provides a useful semantics for studying the structure of LO programs, and for comparing LO with other proposals in the field of computational logic
Subject Constraint Logic Programming
Linear Logic
Metaprogramming


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional