@INPROCEEDINGS{HanusSkrlac14PEPM,
author = "Hanus, M. and Skrlac, F.",
title = "A Modular and Generic Analysis Server System for Functional Logic Programs",
year = "2014",
pages = "181-188",
publisher = "ACM Press",
booktitle = "Proc. of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and
             Program Manipulation (PEPM'14)",
abstract = {
We present the design, implementation, and application of a system,
called CASS, for the analysis of functional logic programs.
The system is generic so that various kinds of
analyses (e.g., groundness, non-determinism, demanded arguments) can
be easily integrated.  In order to analyze larger applications
consisting of dozens or hundreds of modules, CASS supports a modular
and incremental analysis of programs.  Moreover, it can be used by
different programming tools, like documentation generators, analysis
environments, program optimizers, as well as Eclipse-based
development environments.  For this purpose, CASS can also be
invoked as a server system to get a language-independent access to
its functionality.  CASS is completely implemented in the functional
logic language Curry as a master/worker architecture to exploit
parallel or distributed execution environments.
}
}