Proceedings of the 14th International Workshop on Logic Programming Environments, WLPE 2004, Saint-Malo, France, September 6-7, 2004 - researchr publication

researchr

You are not signed in
Sign in
Sign up

Susana Muñoz-Hernández, José Manuél Gómez-Pérez, editors, Proceedings of the 14th International Workshop on Logic Programming Environments, WLPE 2004, Saint-Malo, France, September 6-7, 2004. 2004.

Conference: lpe2004

Abstract is missing.

FDBG, the CLP(FD) Debugger Library of SICStus PrologDávid Hanák, Tamás Szeredi.

Explanations to Understand the Trace of a Finite Domain Constraint SolverGérard Ferrand, Willy Lesaint, Alexandre Tessier.

On termination of binary CLP programsAlexander Serebrenik, Fred Mesnard.

Regular types, modes and model checking (Invited Talk)John Gallagher.

Prolog Models for the Model-View-Controller Paradigm (Invited Talk)David S. Warren.

Strategies for the Efficient Solution of Hybrid Constraint Logic ProgramsStephan Frank, Petra Hofstedt, Dirk Reckmann.

Towards Temporal Reasoning in Constraint Contextual Logic ProgrammingVítor Beires Nogueira, Salvador Abreu, Gabriel David.

A Logic Programming-based Environment for Integrating Architecture Description LanguagesQian Wang, Gopal Gupta.

Upsh: A Unix to Prolog ShellNicos Angelopoulos.

Assumptions and Abduction in PrologHenning Christiansen 0001, Verónica Dahl.

runs on WebDSL