ARCA è l'archivio istituzionale ad accesso aperto della ricerca dell'Università Ca' Foscari Venezia e nasce nel 2014 con lo scopo di raccogliere, diffondere e conservare la produzione scientifica dell'Università. Costituisce di fatto il catalogo della ricerca di Ateneo.Mentre il precedente U-Gov Catalogo era un database chiuso, ARCA è un sistema Open Access: è non solo consultabile da tutti e visibile nei motori di ricerca, ma anche interoperabile con il portale cerCa. In questo modo vengono valorizzate la produzione scientifica dell'Ateneo e la visibilità dei ricercatori.
EnglishMost logic programming languages actually provide some kind of dynamic scheduling to increase the expressive power and to control execution. Input consuming derivations have been introduced to describe scheduling while abstracting from the technical details. In this paper we review and compare the different proposal given for denotational semantics of programs with input consuming derivations. We also show how they can be applied to termination analysis. Titolo del volume: Program Development in Computational Logic M. Bruynooghe, K-K. Lau (Eds.)
| Titolo: | Declarative Semantics of Input Consuming Logic Programs |
| Autori: | |
| Data di pubblicazione: | 2004 |
| Serie: | |
| Abstract: | Most logic programming languages actually provide some kind of dynamic scheduling to increase the expressive power and to control execution. Input consuming derivations have been introduced to describe scheduling while abstracting from the technical details. In this paper we review and compare the different proposal given for denotational semantics of programs with input consuming derivations. We also show how they can be applied to termination analysis. Titolo del volume: Program Development in Computational Logic M. Bruynooghe, K-K. Lau (Eds.) |
| Handle: | http://hdl.handle.net/10278/31212 |
| ISBN: | 3540221522 |
| Appare nelle tipologie: | 3.1 Articolo su libro |
File in questo prodotto:
| File | Descrizione | Tipologia | Licenza | |
|---|---|---|---|---|
| BCER_04.pdf | Post-print | Accesso chiuso-personale | Riservato |
Copyright © 2018