title: What I believe [Book review]

authors: Pratt, Douglas

subjects: book review

abstract: This article reviews the book “What I believe”, edited by Tariq Ramadan.

text: What I believe [Book review] This article reviews the book “What I believe”, edited by Tariq Ramadan.

year: 2010

title: Bound analysis for Whiley programs

authors: Weng, Min-Hsien

subjects: Static Analysis

abstract: The Whiley compiler can generate naive C code, but the code is inefficient because it uses infinite integers and dynamic array sizes. Our project goal is to build up a compiler that can translate Whiley programs into efficient OpenCL code with fixed-size integer types and fixed-size arrays, for parallel execution on GPUs. This paper presents an abstract interpretation-based bound inference approach along with symbolic analysis for Whiley programs. The source Whiley program is first analyzed by using our symbolic analyzer to find the matching pattern and make any necessary program transformation. Then the bound analyzer is used to analyze the transformed program to make use of primitive integer types rather than third-party infinite integer type (e.g. using GMP arbitrary precision library). The bound analysis results provide conservative estimates of the ranges of integer variables and array sizes so that efficient code can be generated and integer overflows avoided. The bound analyzer combines the bound consistency technique along with a widening operator to give fast time of solving program constraints and of converging to the fixed point. Several example programs are used to illustrate the bound analyzer algorithm and the program transformation.

text: Bound analysis for Whiley programs The Whiley compiler can generate naive C code, but the code is inefficient because it uses infinite integers and dynamic array sizes. Our project goal is to build up a compiler that can translate Whiley programs into efficient OpenCL code with fixed-size integer types and fixed-size arrays, for parallel execution on GPUs. This paper presents an abstract interpretation-based bound inference approach along with symbolic analysis for Whiley programs. The source Whiley program is first analyzed by using our symbolic analyzer to find the matching pattern and make any necessary program transformation. Then the bound analyzer is used to analyze the transformed program to make use of primitive integer types rather than third-party infinite integer type (e.g. using GMP arbitrary precision library). The bound analysis results provide conservative estimates of the ranges of integer variables and array sizes so that efficient code can be generated and integer overflows avoided. The bound analyzer combines the bound consistency technique along with a widening operator to give fast time of solving program constraints and of converging to the fixed point. Several example programs are used to illustrate the bound analyzer algorithm and the program transformation.

year: 2015

title: The use of Māori mythology in clinical settings: Training issues and needs

authors: Cherrington, Lisa

subjects: Maori

abstract: Within therapeutic settings, narrative
approaches are increasingly being used as a
way of creating new understandings and
new stories. This paper discusses the use of
purakau as a Māori focused intervention
when working with Māori tangata whaiora
(clients) and their whānau. This paper will
outline the rationale and relevance of using
purakau with Māori. However, the
emphasis is on the training provided to
clinicians in the use of purakau. An outline
of the training process is provided. In
doing so, issues regarding the use of these
taonga (treasures) in clinical psychology
will be raised. It will be argued that Māori
mythology must have a place in the kete of
Māori psychology.

text: The use of Māori mythology in clinical settings: Training issues and needs Within therapeutic settings, narrative
approaches are increasingly being used as a
way of creating new understandings and
new stories. This paper discusses the use of
purakau as a Māori focused intervention
when working with Māori tangata whaiora
(clients) and their whānau. This paper will
outline the rationale and relevance of using
purakau with Māori. However, the
emphasis is on the training provided to
clinicians in the use of purakau. An outline
of the training process is provided. In
doing so, issues regarding the use of these
taonga (treasures) in clinical psychology
will be raised. It will be argued that Māori
mythology must have a place in the kete of
Māori psychology.

year: 2003