Developing Correct and Efficient Logic Programs by Transformation*

Knowledge Engineering Review - United Kingdom
doi 10.1017/s0269888900008031
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Cambridge University Press (CUP)

Related search

Generating Efficient, Terminating Logic Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1997English

Pac-Learning Recursive Logic Programs: Efficient Algorithms

Journal of Artificial Intelligence Research
Artificial Intelligence
1995English

A Program Transformation for Backwards Analysis of Logic Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

An Alphard Specification of a Correct and Efficient Transformation on Data Structures

IEEE Transactions on Software Engineering
Software
1980English

Programming by Combining General Logic Programs

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
1999English

Managing Uncertainty and Vagueness in Description Logics, Logic Programs and Description Logic Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Analyzing Array Manipulating Programs by Program Transformation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

A Correct, Private, and Efficient Mix Network

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Disjunctive Signed Logic Programs

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
1997English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy