WFLP 2017 Accepted Papers

Jan C. Dageförde and Herbert Kuchen. An Operational Semantics for Constraint-logic Object-Oriented Programming

Jan Rasmus Tikovsky. Concolic Testing of Functional Logic Programs

Falco Nogatz, Jona Kalkus and Dietmar Seipel. Declarative XML Schema Validation with SWI-Prolog

Philipp Koerner and Sebastian Krings. plspec - A Specification Language for Prolog Data

Johannes Waldmann. How I Teach Functional Programming (experience report)

Domenico Sacca' and Angelo Furfaro. CalcuList: a functional language extended with imperative features

João Barbosa, Mário Florido and Vítor Santos Costa. Closed Types for Logic Programming

Michael Hanus and Jonas Oberschweiber. CPM: A Declarative Package Manager with Semantic Versioning

Sibylle Schwarz and Mario Wenzel. Controlling Lego EV3 robots with Prolog

Armin Wolf. The Proportional Constraint and Its Pruning