Formal methods within a totally functional approach to programming

Taking functional programming to its extremities in search of simplicity still requires integration with other development (e.g. formal) methods. Induction is the key to deriving and verifying functional programs, but can be simplified through packaging proofs with functions, particularly folds, on data (structures). Totally Functional Programming avoids the complexities of interpretation by directly representing data (structures) as platonic combinators - the functions characteristic to the data. The link between the two simplifications is that platonic combinators are a kind of partially-applied fold, which means that platonic combinators inherit fold-theoretic properties, but with some apparent simplifications due to the platonic combinator representation. However, despite observable behaviour within functional programming that suggests that TFP is widely-applicable, significant work remains before TFP as such could be widely adopted.

Language, discourse and politics

After discussing the meaning of the word politics, this paper shows that there are four possible approaches to the issue of the relationships between language, discourse and politics: a) the intrinsic political nature of language; b) the relations of power between discourses and their political dimension; c) the relations of power between languages and the political dimension of their usage and; d) linguistic policies. This paper addresses only the first two of these items. Languages have an intrinsically political nature because they subject their speakers to their order. The acts of silencing operationalized in discourse manifest a relation of power. The spread of discourses in the social space is also subject to the order of power. The use of language may be the space of pertinence, but is also that of exclusion, separation and even the elimination of the other. Therefore, language is not a neutral communication tool, but it is permeated by politics, by power. Because of the dislocations that it produces, literature is a form of swindling language, unveiling the powers that are imprinted on it.

Response programming in dementia of the Alzheimer type: A kinematic analysis

Although planning is important for the functioning of patients with dementia of the Alzheimer Type (DAT), little is known about response programming in DAT. This study used a cueing paradigm coupled with quantitative kinematic analysis to document the preparation and execution of movements made by a group of 12 DAT patients and their age and sex matched controls. Participants connected a series of targets placed upon a WACOM SD420 graphics tablet, in response to the pattern of illumination of a set of light emitting diodes (LEDs). In one condition, participants could programme the upcoming movement, whilst in another they were forced to reprogramme this movement on-line (i.e. they were not provided with advance information about the location of the upcoming target). DAT patients were found to have programming deficits, taking longer to initiate movements; particularly in the absence of cues. While problems spontaneously programming a movement might cause a greater reliance upon on-line guidance, when both groups were required to guide the movement on-line, DAT patients continued to show slower and less efficient movements implying declining sensori-motor function; these differences were not simply due to strategy or medication status. (C) 1997 Elsevier Science Ltd.

Language strategies in the attribution of blame for HIV and AIDS

This article examines the language strategies used in everyday explanation by young heterosexual adults to attribute blame for the transmission of HIV: Seventy-two-female and 60 male Australian university students took part in the study. They were formed into groups of four, with each group taking part in discussions about HIV: AIDS, and related matters. Transcripts were examined for instances of blaming, and a coding scheme for levels of attributed responsibility applied to those instances found. Language strategies of distancing self from HN and AIDS were then coded, including checks for who was blamed whether they were members of participants' ingroups or outgroups, and whether justifications were used. These findings are discussed in terms of positioning the self vis-a-vis HIV and AIDS, as well as the ways in which negative stereotypes were used in attributing blame to members of outgroups.

Emerging Issues Concerning the Education of Speech and Language Pathologists and Audiologists in Brazil and South America

Diversity is one of the major characteristics of Brazil and all South America. This paper presents an overview of the current situation of the education of speech and language pathologists (SLP) and audiologists in Brazil and in several other countries of South America. This paper also discusses the main challenges shared by these countries. The discussion is focused on the mutual interferences between education and the areas of professional practice, cultural diversity and continued education. There are many emerging issues about the education of SLP and audiologists in South America. The suggested conclusion is that, despite the many differences, the South American SLP and audiologists` education would benefit from joint efforts and collaborative experiences. Copyright (C) 2010 S. Karger AG, Basel

The frontal assessment battery (FAB) reveals neurocognitive dysfunction in substance-dependent individuals in distinct executive domains: Abstract reasoning, motor programming, and cognitive flexibility

Substance-dependence is highly associated with executive cognitive function (ECF) impairments. However. considering that it is difficult to assess ECF clinically, the aim of the present study was to examine the feasibility of a brief neuropsychological tool (the Frontal Assessment Battery FAB) to detect specific ECF impairments in a sample of substance-dependent individuals (SDI). Sixty-two subjects participated in this study. Thirty DSM-IV-diagnosed SDI, after 2 weeks of abstinence, and 32 healthy individuals (control group) were evaluated with FAD and other ECF-related tasks: digits forward (DF), digits backward (DB), Stroop Color Word Test (SCWT), and Wisconsin Card Sorting Test (WCST). SDI did not differ from the control group on sociodemographic variables or IQ. However, SDI performed below the controls in OF, DB, and FAB. The SDI were cognitively impaired in 3 of the 6 cognitive domains assessed by the FAB: abstract reasoning, motor programming, and cognitive flexibility. The FAB correlated with DF, SCWT, and WCST. In addition, some neuropsychological measures were correlated with the amount of alcohol, cannabis, and cocaine use. In conclusion, SDI performed more poorly than the comparison group on the FAB and the FAB`s results were associated with other ECF-related tasks. The results suggested a negative impact of alcohol, cannabis, and cocaine use on the ECF. The FAB may be useful in assisting professionals as an instrument to screen for ECF-related deficits in SDI. (C) 2010 Elsevier Ltd. All rights reserved.

Characterization of language and reading skills in familial polymicrogyria

Polymicrogyria (PMG) is a malformation of cortical development characterized by an excessive number of small gyri and abnormal cortical lamination, giving the cortical surface an irregular and gross appearance. The severity of clinical manifestations correlates with the extent of cortical involvement. The objective of the present study was to describe three families with linguistic features of developmental language disorder and reading impairment, and to establish a neuroanatomic correlation through neuroimaging. Subjects have been submitted to a comprehensive protocol including psychological assessment, language evaluation, neurological examination, and neuroimaging investigation. In our families, children usually had the diagnosis of developmental language disorder while adults had the diagnosis of reading impairment. MRI showed perisylvian polymicrogyria in several subjects of each family. Our data support the idea that there is a co-occurrence of developmental language disorder and reading impairment and both conditions may be associated with polymicrogyria. (c) 2007 Elsevier B.V. All rights reserved.

Educating speech-language pathologists for a multicultural world

This paper presents critical elements and current needs in educating speech-language pathologists for a multicultural world. A proposed paradigm shift in clinical teaching using the UK model is also introduced. In addition, a case study on the American Speech Language Hearing Association's efforts in implementing the Multicultural Action Agenda by networking with the Asian Pacific Islander caucus is described. A survey of multicultural elements in programs in Australia and New Zealand is included. finally, suggestions for collaboration with those in established professional bodies to meet the increasing needs of a multicultural world are provided. copyright (C) 2001 S. Karger AG. Basel.

Subcortical brain mechanisms in speech and language

This paper reviews current research and contemporary theories of subcortical participation in the motor control of speech production and language processing. As a necessary precursor to the discussion of the functional roles of the basal ganglia and thalamus, the neuroanatomy of the basal ganglial-thalamocortical circuitry is described. Contemporary models of hypokinetic and hyperkinetic movement disorders based on recent neuroanatomical descriptions of the multi-segmented circuits that characterise basal ganglion anatomy are described. Reported effects of surgically induced lesions in the globus pallidus and thalamus on speech production are reviewed. In addition, contemporary models proposed to explain the possible contribution of various subcortical structures to language processing are described and discussed in the context of evidence gained from observation of the effects of circumscribed surgically induced lesions in the basal ganglia and thalamus on language function. The potential of studies based on examination of the speech/language outcomes of patients undergoing pallidotomy and thalamotomy to further inform the debate relating to the role of subcortical structures in speech motor control and language processing is highlighted. Copyright (C) 2001 S. Karger AG, Basel.

A formal model of real-time program compilation

Program compilation can be formally defined as a sequence of equivalence-preserving transformations, or refinements, from high-level language programs to assembler code, Recent models also incorporate timing properties, but the resulting formalisms are intimidatingly complex. Here we take advantage of a new, simple model of real-time refinement, based on predicate transformer semantics, to present a straightforward compilation formalism that incorporates real-time constraints. (C) 2002 Elsevier Science B.V. All rights reserved.