Result 1 to 20 of 81 total
Generic traces and constraints, gentra4cp revisited. (English)
Comput. Res. Repos. 2011, Article No. 1105.6210 (2011).
1
Towards a generic framework to generate explanatory traces of constraint solving and rule-based reasoning. (English)
Comput. Res. Repos. 2010, Article No. 1001.2188 (2010).
2
Observational semantics of the prolog resolution box model. (English)
Comput. Res. Repos. 2007, Article No. 0711.4071 (2007).
3
Une sémantique observationnelle du modèle des bo{\^i}tes pour la résolution de programmes logiques (version étendue). (English)
Comput. Res. Repos. 2007, Article No. 0706.3159 (2007).
4
On using tracer driver for external dynamic process observation. (English)
Comput. Res. Repos. 2007, Article No. 0701106 (2007).
5
A generic trace schema for the portability of CP(FD) debugging tools. (English)
Apt, Krzysztof R. (ed.) et al., Recent advances in constraints. Joint ERCIM/CoLogNET international workshop on constraint solving and constraint logic programming, CSCLP 2003, Budapest, Hungary, June 30 ‒ July 2, 2003. Selected papers. Berlin: Springer (ISBN 3-540-21834-3/pbk). Lecture Notes in Computer Science 3010. Lecture Notes in Artificial Intelligence, 171-195 (2004).
6
Main results of the OADymPPaC project. (English)
Demoen, Bart (ed.) et al., Logic programming. 20th international conference, ICLP 2004, Saint-Malo, France, September 6‒10, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22671-0/pbk). Lecture Notes in Computer Science 3132, 456-457 (2004).
7
Main results of the oadymppac project (English)
ICLP, 456-457 (2004).
8
A propagation tracer for GNU-Prolog: from formal definition to efficient implementation. (English)
Palamidessi, Catuscia (ed.), Logic programming. 19th international conference, ICLP 2003, Mumbai, India, December 9‒13, 2003. Proceedings. Berlin: Springer (ISBN 3-540-20642-6/pbk). Lect. Notes Comput. Sci. 2916, 269-283 (2003).
9
Rigorous design of tracers: An experiment for constraint logic programming. (English)
Comput. Res. Repos. 2003, Article No. 0310042 (2003).
10
Un nouveau traceur générique pour GNU-prolog (English)
Technique et Science Informatiques 22, No. 1, 97-110 (2003).
11
Demonstration: debugging constraint problems with portable tools (English)
WLPE, 46-47 (2003).
12
Un nouveau traceur générique pour GNU-prolog (English)
JFPLC, 97-110 (2003).
13
A propagation tracer for GNU-prolog: from formal definition to efficient implementation (English)
ICLP, 269-283 (2003).
14
A generic trace schema for the portability of $CP(FD)$ debugging tools (English)
CSCLP, 171-195 (2003).
15
Subject reduction of logic programs as proof-theoretic property. (English)
J. Funct. Log. Program. 2002, Spec. Iss. 1, Article 2, 27 p., electronic only (2002).
16
Subject reduction of logic programs as proof-theoretic property (English)
Journal of Functional and Logic Programming 2002 (2002).
17
Prototypage de traceurs $CLP(FD)$: un modèle de trace et son expérimentation (English)
JFPLC, 135- (2002).
18
Well-typed logic programs are not wrong. (English)
Kuchen, Herbert (ed.) et al., Functional and logic programming. 5th international symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2024, 280-295 (2001).
19
Prototyping $CLP(FD)$ tracers: a trace model and an experimental validation environment (English)
WLPE (2001).
20
Result 1 to 20 of 81 total
Start
Contact
Print
General Help
