Motivated by a concrete goal, namely to extend Erlang with the ability to employ user-defined guards, we developed a parameterized static analysis tool called PURITY, that classifies functions as referentially transparent (i.e., sideeffect free with no dependency on the execution environment and never raising an exception), side-effect free with no dependencies but possibly raising exceptions, ...

Many of the late Paleozoic granitoid plutons of the southern Appalachians are composite bodies with coarsegrained amphibole + biotite and biotite varietal facies (Speer et al., 1980). From field relations, these facies appear closely related, and multiple intrusion or differentiation comes to mind as an explanation for the relationship. In the Liberty Hill pluton, the coarse-grained central amp...

In the present study directly comparable speech data produced by German and Swiss German speakers were examined to investigate interdependencies between pitch accent realisations and timing. An auditory and acoustic analysis was carried out to explore the interaction of measured and perceived duration and excursion of f0movement.