A Framework for the Principled Debugging of Prolog Programs: How to Debug Non-Terminating Programs

doi 10.1007/978-94-011-2562-8_2
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Netherlands

Related search

A Mechanism for Efficient Debugging of Parallel Programs

1988English

An Extension Strategy of Concolic Testing for Intentionally Non-Terminating Programs

2018English

A Practical Type Analysis for Verification of Modular Prolog Programs

2008English

Generating Efficient, Terminating Logic Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1997English

Programs as Collections of Communicating Prolog Units

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1986English

FoREnSiC– An Automatic Debugging Environment for C Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Debugging Large-Scale, Long-Running Parallel Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Automatic Compile-Time Parallelization of Prolog Programs for Dependent And-Parallelism

1997English

A Framework for the Automatic Correction of Constraint Programs

2011English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy