Computational logic has already made a real contribution to the design and development of large software systems. For example, logic programming is actively being used in semantic-based analysis and program code manipulation, either for the tool or for the software to be processed. New advances in logic are enabling the direct expression of coordination and concurrency together with various forms of abstraction. Moreover, facilities such as dynamic memory management, secure pointer manipulation, and compilation to architecture independent code needed for the development of networking tools have already developed for logic programming and other declarative paradigms.
This workshop will focus on investigating and promoting the use of computational
logic for developing component-based computer systems, and will emphasize
practical solutions to problems inherent in developing large and complex
computer systems.