The paper presents two examples of non-traditional using of program specialization by Turchin’s supercompilation method. In both cases we are interested in syntactical properties of residual programs produced by supercompilation. In the first example we apply supercompilation to a program encoding a word equation and as a result we obtain a program representing a graph describing the solution s...

INTRODUCTION In spite of Levi-Strauss’s grumpy protesting against travelling and explorers, not even he could deny that anthropology and travel are intrinsically connected. Since the ‘prehistory’ of the development of field research and even since the emergence of its modern variant, Malinowski’s stay on Trobriand Islands14, which has changed and framed the selfconceptualization of Western anth...

Abstract Christianity and the environment have a tense relationship. Although in recent years an eco-theology of stewardship has taken flight, according to theologians as well philosophers historical track record Christians with regard nature general animals particular leaves much be desired. However, this view never been empirically tested. In article three early modern accounts Protestant mis...