scientific article; zbMATH DE number 2090549

zbMATH Open1045.68512MaRDI QIDQ4812985FDOQ4812985

Authors: Mireille Ducassé, Ludovic Langevine 

Publication date: 12 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2401/24010470.htm

Title of this publication is not available (Why is that?)

Recommendations

• Logic Programming
• Design and implementation of a tracer driver: Easy and efficient dynamic analyses of constraint logic programs
• Opium: an extendable trace analyzer for Prolog
• Static and dynamic slicing of constraint logic programs
• scientific article; zbMATH DE number 2086599

Mathematics Subject Classification ID

Logic programming (68N17)

Cited In (4)

• Detecting races in relay ladder logic programs
• Design and implementation of a tracer driver: Easy and efficient dynamic analyses of constraint logic programs
• Execution traces: A new domain that requires the creation of a standard metamodel
• Logic Programming

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4812985)