Working with Spiritual Struggles in Psychotherapy: From Research to Practice

Description

This volume presents the proceedings of a conference on programming and programming languages. It contains original research contributions addressing fundamental issues and important developments in the design, specification and implementation of programming languages and systems. Topics include: – Program development: specification, methodology, tools, environments; – Programming language concepts: types, data abstraction, parallelism, real-time; – Language implementation techniques: compilers, interpreters, abstract machine design, optimization; – Programs as data objects: abstract interpretation, program transformation, partial evaluation; – Programming styles: imperative, functional, predicative, object-oriented.