The following technical report is available from
http://aib.informatik.rwth-aachen.de:
Proceedings of the International Joint Workshop on Implementation of
Constraint and Logic Programming Systems and Logic-based Methods in
Programming Environments 2014
Thomas Ströder and Terrance Swift (Editors)
AIB 2014-09
Software plays a crucial role in modern society. While the continuous
advent of faster, smaller and more powerful computing devices makes the
development of new and interesting applications feasible, it puts even
more demands on the software developer. Indeed, while software keeps on
growing in size and complexity, it is more than ever required to be
delivered on time, free of error and to meet the most stringent
efficiency requirements. Consequently, it is widely recognized that
there is a need for methods and tools that support the programmer in
every aspect of the software development process.
Having logic as the underlying formalism means that logic-based analysis
techniques are often successfully used for program verification and
optimization. Emerging programming paradigms and growing complexity of
the properties to be verified pose new challenges for the community,
while emerging reasoning techniques can be exploited.
The International Colloquium on Implementation of Constraint and LOgic
Programming Systems (CICLOPS) provides a forum to discuss the design,
implementation, and optimization of logic, constraint (logic)
programming systems, and other systems based on logic as a means of
expressing computations. Experience backed up by real implementations
and their evaluation is given preference, as well as descriptions of
work in progress in that direction.
The aim of the Workshop on Logic-based methods in Programming
Environments (WLPE) is to provide an informal meeting for researchers
working on logic-based methods and tools that support program
development and analysis. As in recent years, these topics include not
only environmental tools for logic programming, but increasingly also
logic-based environmental tools for programming in general and
frameworks and resources for sharing in the logic programming community.
The combination of these two areas of interest in this year’s joint
workshop provides a forum to discuss together the states of the art for
using logic both in the evaluation of programs and in meta-reasoning
about programs.
Due to the strong overlap between the CICLOPS-WLPE community and several
FLoC communities (in particular logic (programming), verification,
automated reasoning, rewriting techniques, and SAT solving), the
workshop is affiliated to several conferences:
- 30th International Conference on Logic Programming (ICLP)
- 26th International Conference on Computer Aided Verification (CAV)
- 7th International Joint Conference on Automated Reasoning (IJCAR)
- Joint meeting of the 23rd EACSL Annual Conference on Computer Science
Logic (CSL) and the 9th ACM/IEEE Symposium on Logic in Computer Science
(LICS)
- 25th International Conference on Rewriting Techniques and Applications
(RTA) joined with the 12th International Conference on Typed Lambda
Calculi and Applications (TLCA)
- 17th International Conference on Theory and Applications of
Satisfiability Testing (SAT)
In 2014, CICLOPS-WLPE also joins its program with the 11th International
Workshop on Constraint Handling Rules (CHR) and has one joint session
together with the Workshop on Probabilistic Logic Programming (PLP).
The International Joint Workshop on Implementation of Constraint and
Logic Programming Systems and Logic-based Methods in Programming
Environments 2014 consists of nine regular submissions and two invited
talks. These informal proceedings contain the regular papers and the
abstracts of the two invited talks.
