Declarative Diagnosis of Temporal Concurrent Constraint Programs-Reference-Cited by-同舟云学术

Declarative Diagnosis of Temporal Concurrent Constraint Programs

Published: Issue: Volume: Page:271-285
ISSN:
Container-title:Logic Programming
language:
Short-container-title:

Author:

Falaschi M.,Olarte C.,Palamidessi C.,Valencia F.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-74610-2_19.pdf

Reference20 articles.

1. Lecture Notes in Computer Science;M. Alpuente,2003

2. ENTCS;M. Alpuente,2002

3. Antoy, S., Johnson, S.: TeaBag: A Functional Logic Debugger. In: Kuchen, H. (ed.) Proc. of WFLP 2004, pp. 4–18 (2004)

4. Bueno, F., Deransart, P., Drabent, W., Ferrand, G., Hermenegildo, M., Maluszyński, J., Puebla, G.: On the role of semantic approximations in validation and diagnosis of constraint logic programs. In: Proc. of AADEBUG 1997, U. of Linkoping Press, pp. 155–170 (1997)

5. Cameron, M., de la Banda, M.G., Marriott, K., Moulder, P.: Vimer: a visual debugger for mercury. In: Proc. of the 5th PPDP, pp. 56–66. ACM Press, New York (2003)

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Dynamic Slicing for Concurrent Constraint Languages;Fundamenta Informaticae;2020-12-10

2. An Assertion Language for Slicing Constraint Logic Languages;Logic-Based Program Synthesis and Transformation;2019

3. Belief, knowledge, lies and other utterances in an algebra for space and extrusion;Journal of Logical and Algebraic Methods in Programming;2017-01

4. Deriving Inverse Operators for Modal Logic;Theoretical Aspects of Computing – ICTAC 2016;2016

5. Abstract Diagnosis for tccp using a Linear Temporal Logic;Theory and Practice of Logic Programming;2014-07