Declarative Semantics of Input Consuming Logic Programs

Annalisa Bossi; Nicoletta Cocco; Sandro Etalle; Sabina Rossi

Declarative Semantics of Input Consuming Logic Programs

Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sabina Rossi

Research output: Book/Report › Report › Other research output

1 Citation (Scopus)

50 Downloads (Pure)

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 dynamic scheduling while abstracting from the technical details. In this paper we review and compare the different proposals given in [9], [10] and [12] for denotational semantics of programs with input consuming derivations. We also show how they can be applied to termination analysis.

Original language	Undefined
Place of Publication	Enschede
Publisher	Centre for Telematics and Information Technology (CTIT)
Number of pages	24
Publication status	Published - Feb 2004

Publication series

Name	CTIT technical reports series
Publisher	University of Twente, Centre for Telematics and Information Technology (CTIT)
No.	CTIT-TR-04-08

Keywords

SCS-Cybersecurity
IR-57005
EWI-5796

Access to Document

000000ec
open

Cite this

@book{fa244f568a6f47b9aa479430d97e53a6,

title = "Declarative Semantics of Input Consuming Logic Programs",

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 dynamic scheduling while abstracting from the technical details. In this paper we review and compare the different proposals given in [9], [10] and [12] for denotational semantics of programs with input consuming derivations. We also show how they can be applied to termination analysis.",

keywords = "SCS-Cybersecurity, IR-57005, EWI-5796",

author = "Annalisa Bossi and Nicoletta Cocco and Sandro Etalle and Sabina Rossi",

note = "Imported from CTIT",

year = "2004",

month = feb,

language = "Undefined",

series = "CTIT technical reports series",

publisher = "Centre for Telematics and Information Technology (CTIT)",

number = "CTIT-TR-04-08",

address = "Netherlands",

}

TY - BOOK

T1 - Declarative Semantics of Input Consuming Logic Programs

AU - Bossi, Annalisa

AU - Cocco, Nicoletta

AU - Etalle, Sandro

AU - Rossi, Sabina

N1 - Imported from CTIT

PY - 2004/2

Y1 - 2004/2

N2 - 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 dynamic scheduling while abstracting from the technical details. In this paper we review and compare the different proposals given in [9], [10] and [12] for denotational semantics of programs with input consuming derivations. We also show how they can be applied to termination analysis.

AB - 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 dynamic scheduling while abstracting from the technical details. In this paper we review and compare the different proposals given in [9], [10] and [12] for denotational semantics of programs with input consuming derivations. We also show how they can be applied to termination analysis.

KW - SCS-Cybersecurity

KW - IR-57005

KW - EWI-5796

M3 - Report

T3 - CTIT technical reports series

BT - Declarative Semantics of Input Consuming Logic Programs

PB - Centre for Telematics and Information Technology (CTIT)

CY - Enschede

ER -