Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Tracing and explaining execution of CLP(FD) programs
RISE, Swedish ICT, SICS.
RISE, Swedish ICT, SICS.
RISE, Swedish ICT, SICS.
RISE, Swedish ICT, SICS, Computer Systems Laboratory.ORCID iD: 0000-0003-3079-8095
2002 (English)In: Proceedings of the 12th International Workshop on Logic Programming Environments, WLPE 2002, 2002, 1, , 16 p.Conference paper, (Refereed)
Abstract [en]

Previous work in the area of tracing CLP(FD) programs mainly focuses on providing information about control of execution and domain modification. In this paper, we present a trace structure that provides information about additional important aspects. We incorporate explanations in the trace structure, i.e. reasons for why certain solver actions occur. Furthermore, we come up with a format for describing the execution of the filtering algorithms of global constraints. Some new ideas about the design of the trace are also presented. For example, we have modeled our trace as a nested block structure in order to achieve a hierarchical view. Also, new ways about how to represent and identify different entities such as constraints and domain variables are presented.

Place, publisher, year, edition, pages
2002, 1. , 16 p.
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:ri:diva-22497OAI: oai:DiVA.org:ri-22497DiVA: diva2:1042062
Conference
12th International Workshop on Logic Programming Environments, WLPE 2002, 31 July 2002, Copenhagen, Denmark
Available from: 2016-10-31 Created: 2016-10-31 Last updated: 2017-08-22Bibliographically approved

Open Access in DiVA

fulltext(208 kB)2 downloads
File information
File name FULLTEXT01.pdfFile size 208 kBChecksum SHA-512
6c8d0f672e48b082dbdc8ac26b9c147a00c47310afa5bb0a9a3d8a025c396efb591b5f152622d50eee75b36983e001b38e441e6eeb6ee6dc94f577ab82e204c8
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Carlsson, Mats
By organisation
SICSComputer Systems Laboratory
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 2 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 8 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf