Get started
Author

Ludovic Langevine

Observed names: LUDOVIC LANGEVINE, Langevine, Ludovic
OpenAlex ID: A5004501302
Declarative workflows to efficiently manage flexible and advanced business processes
2010 · Romain Demeyer, Maxime Van Assche, et al. · International Symposium on Principles and Practice of Declarative Programming (PPDP) · 13
A Propagation Tracer for GNU-Prolog: From Formal Definition to Efficient Implementation
2003 · Ludovic Langevine, Mireille Ducassé, et al. · Lecture notes in computer science · 11
Automated Analysis of CLP(FD) Program Execution Traces
2002 · Mireille Ducassé, Ludovic Langevine · Lecture notes in computer science · 7
Prototyping CLP(FD) Tracers: a Trace Model and an Experimental Validation Environment
2001 · Langevine, Ludovic, Deransart, Pierre, et al. · arXiv (Cornell University) · 6
PDF
A tracer driver for hybrid execution analyses
2005 · Ludovic Langevine, Mireille Ducassé · International Symposium on Automated Analysis-Driven Debugging (AADEBUG) · 4
Tracing Execution of CLP(FD) Programs : A Trace Model and an Experimental Validation Environment
2001 · Langevine, Ludovic, Deransart, Pierre, et al. · HAL · 3
A Generic Trace Schema for the Portability of CP(FD) Debugging Tools
2004 · Ludovic Langevine, Pierre Deransart, et al. · Lecture notes in computer science · 2
Design and implementation of a tracer driver: Easy and efficient dynamic analyses of constraint logic programs
2008 · LUDOVIC LANGEVINE, MIREILLE DUCASSÉ · Theory and Practice of Logic Programming · 1
PDF
A Tracer Driver to Enable Concurrent Dynamic Analyses
2005 · Langevine, Ludovic, Ducassé, Mireille · HAL · 1
A Tracer Driver to Enable Debugging, Monitoring and Visualization of CLP Executions from a Single Tracer
2004 · Ludovic Langevine, Mireille Ducassé · Lecture notes in computer science · 1
Un pilote de traceur pour la PLC.
2004 · Ludovic Langevine, Mireille Ducassé · JFPLC · 1
Rigorous design of tracers: an experiment for constraint logic programming
2003 · Ducasse, Mireille, Langevine, Ludovic, et al. · arXiv (Cornell University) · 1
PDF
The Logic of Insurance: an Ontology-Centric Pricing Application.
2014 · Ludovic Langevine, Paul Bone · International Semantic Web Conference
A Tracer Driver for Versatile Dynamic Analyses of Constraint Logic Programs
2005 · Langevine, Ludovic, Ducasse, Mireille · arXiv (Cornell University)
PDF
Explication systématique des contraintes indexicales
2005 · Ludovic Langevine · HAL
Systematic explanation of indexical constraints
2005 · Ludovic Langevine
A Tracer Driver for Versatile Dynamic Analyses of Constraints Logic Programs.
2005 · Ludovic Langevine, Mireille Ducassé · arXiv (Cornell University)
Observation of Constraint Programs
2003 · Ludovic Langevine · Lecture notes in computer science
Un nouveau traceur générique pour GNU-Prolog.
2003 · Ludovic Langevine, Pierre Deransart · Techniques et sciences informatiques
A Propagation Tracer for Gnu-Prolog: from Formal Definition to Efficient Implementation
2003 · Ludovic Langevine, Pierre Deransart
Demonstration: Debugging constraint problems with portable tools.
2003 · Pierre Deransart, Ludovic Langevine, et al.
Analyse automatisée de traces d'exécution de programmes CLP(FD).
2002 · Mireille Ducassé, Ludovic Langevine · JFPLC
Automated Analysis of CLP(FD) Program Execution Traces
2002 · Mireille Ducasse, Ludovic Langevine
New Results - Environnements de mise au point
2002 · Anupam Agarwal, Guillaume Arnaud, et al.
Other Grants and Activities - Actions nationales
2002 · François Fages, Nathalie Chabrier, et al.
Works count: 28
Citation count: 51
H-index: 4
I10-index: 2
Year
Topic
Type