WFLP 2012 - 21st International Workshop on Functional and (Constraint) Logic Programming

The Workshop on Functional and (Constraint) Logic Programming aims at bringing together researchers interested in functional programming, (constraint) logic programming, as well as the integration of the two paradigms. It promotes the cross-fertilizing exchange of ideas and experiences among researchers and students from the different communities interested in the foundations, applications and combinations of high-level, declarative programming languages and related areas.

Topics of WFLP covers all areas of functional and (constraint) logic programming, including but not limited to:

Foundations: formal semantics, rewriting and narrowing, non-monotonic reasoning, dynamics, type theory
Language Design: modules and type systems, multi-paradigm languages, concurrency and distribution
Implementation: abstract machines, parallelism, compile-time and run-time optimizations, interfacing with external languages
Transformation and Analysis: abstract interpretation, specialization, partial evaluation, program transformation, meta-programming
Software Engineering: design patterns, specification, verification and validation, debugging, test generation
Integration of Paradigms: integration of declarative programming with other paradigms such as imperative, object-oriented, concurrent, and real-time programming
Applications: declarative programming in education and industry, domain-specific languages, visual/graphical user interfaces, embedded systems, WWW applications, knowledge representation and machine learning, deductive databases, advanced programming environments and tools