Ludovic Langevine

According to our database, Ludovic Langevine authored at least 19 papers between 2001 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2014

The Logic of Insurance: an Ontology-Centric Pricing Application.

Ludovic Langevine, Paul Bone

Proceedings of the Industry Track at the International Semantic Web Conference 2014 Co-located with the 13th International Semantic Web Conference (ISWC 2014), 2014

2010

Declarative workflows to efficiently manage flexible and advanced business processes.

Romain Demeyer, Maxime Van Assche, Ludovic Langevine, Wim Vanhoof

Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2010

2008

Design and implementation of a tracer driver: Easy and efficient dynamic analyses of constraint logic programs.

Ludovic Langevine, Mireille Ducassé

Theory Pract. Log. Program., 2008

2005

A Tracer Driver for Versatile Dynamic Analyses of Constraint Logic Programs

Ludovic Langevine, Mireille Ducassé

CoRR, 2005

A Tracer Driver for Versatile Dynamic Analyses of Constraints Logic Programs.

Ludovic Langevine, Mireille Ducassé

Proceedings of the 15th International Workshop on Logic Programming Environments, 2005

Gentra4cp: A Generic Trace Format for Constraint Programming.

Ludovic Langevine

Proceedings of the Logic Programming, 21st International Conference, 2005

A tracer driver for hybrid execution analyses.

Ludovic Langevine, Mireille Ducassé

Proceedings of the Sixth International Workshop on Automated Debugging, 2005

2004

Un pilote de traceur pour la PLC.

Ludovic Langevine, Mireille Ducassé

Proceedings of the Programmation en logique avec contraintes, 2004

A Tracer Driver to Enable Debugging, Monitoring and Visualization of CLP Executions from a Single Tracer.

Ludovic Langevine, Mireille Ducassé

Proceedings of the Logic Programming, 20th International Conference, 2004

2003

Rigorous design of tracers: an experiment for constraint logic programming

Mireille Ducassé, Ludovic Langevine, Pierre Deransart

CoRR, 2003

Demonstration: Debugging constraint problems with portable tools.

Pierre Deransart, Ludovic Langevine, Mireille Ducassé

Proceedings of the 13th International Workshop on Logic Programming Environments, 2003

Un nouveau traceur générique pour GNU-Prolog.

Ludovic Langevine, Pierre Deransart

Proceedings of the Journées Francophones de Programmation en Logique avec Contraintes (JFPLC 2003), 2003

A Propagation Tracer for GNU-Prolog: From Formal Definition to Efficient Implementation.

Ludovic Langevine, Mireille Ducassé, Pierre Deransart

Proceedings of the Logic Programming, 19th International Conference, 2003

A Generic Trace Schema for the Portability of CP(FD) Debugging Tools.

Ludovic Langevine, Pierre Deransart, Mireille Ducassé

Proceedings of the Recent Advances in Constraints, 2003

Observation of Constraint Programs.

Ludovic Langevine

Proceedings of the Principles and Practice of Constraint Programming, 2003

2002

Prototypage de traceurs CLP(FD): un modèle de trace et son expérimentation.

Ludovic Langevine, Pierre Deransart, Mireille Ducassé, Erwan Jahier

Proceedings of the Programmation en logique avec contraintes, 2002

Analyse automatisée de traces d'exécution de programmes CLP(FD).

Mireille Ducassé, Ludovic Langevine

Proceedings of the Programmation en logique avec contraintes, 2002

Automated Analysis of CLP(FD) Program Execution Traces.

Mireille Ducassé, Ludovic Langevine

Proceedings of the Logic Programming, 18th International Conference, 2002

2001

Prototyping CLP(FD) tracers: a trace model and an experimental validation environment.

Ludovic Langevine, Pierre Deransart, Mireille Ducassé, Erwan Jahier

Proceedings of the Eleventh Workshop on Logic Programming Environments (WLPE'01), 2001