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
A structural (Meta-Logical) semantics for linear objects
Manco G.;Turini F.
1995
Abstract
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 logicFile in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_410715-doc_144564.pdf
accesso aperto
Descrizione: A structural (Meta-Logical) semantics for linear objects
Tipologia:
Altro materiale allegato
Licenza:
Nessuna licenza dichiarata (non attribuibile a prodotti successivi al 2023)
Dimensione
710.5 kB
Formato
Adobe PDF
|
710.5 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
