Program Development in Computational Logic | Zendy

Maurice Bruynooghe | Zendy; Kung-Kiu Lau | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Program Development in Computational Logic

Author(s) -

Maurice Bruynooghe,

Kung-Kiu Lau

Publication year - 2004

Publication title -

lecture notes in computer science

Language(s) - English

Resource type - Book series

SCImago Journal Rank - 0.249

H-Index - 400

eISSN - 1611-3349

pISSN - 0302-9743

DOI - 10.1007/b98187

Subject(s) - computer science , development (topology) , programming language , mathematics , mathematical analysis

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 LogicM. Bruynooghe, K-K. Lau (Eds.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research