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.)

Declarative Semantics of Input Consuming Logic Programs

BOSSI, Annalisa;COCCO, Nicoletta;ROSSI, Sabina
2004-01-01

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.)
2004
Program Development in Computational Logic
File in questo prodotto:
File Dimensione Formato  
BCER_04.pdf

non disponibili

Tipologia: Documento in Post-print
Licenza: Accesso chiuso-personale
Dimensione 1.5 MB
Formato Adobe PDF
1.5 MB Adobe PDF   Visualizza/Apri

I documenti in ARCA sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10278/31212
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact