3 resultados para Theoretical calculation
em CiencIPCA - Instituto Politécnico do Cávado e do Ave, Portugal
Resumo:
Program slicing is a well known family of techniques used to identify code fragments which depend on or are depended upon specific program entities. They are particularly useful in the areas of reverse engineering, program understanding, testing and software maintenance. Most slicing methods, usually oriented towards the imperative or object paradigms, are based on some sort of graph structure representing program dependencies. Slicing techniques amount, therefore, to (sophisticated) graph transversal algorithms. This paper proposes a completely different approach to the slicing problem for functional programs. Instead of extracting program information to build an underlying dependencies’ structure, we resort to standard program calculation strategies, based on the so-called Bird-Meertens formalism. The slicing criterion is specified either as a projection or a hiding function which, once composed with the original program, leads to the identification of the intended slice. Going through a number of examples, the paper suggests this approach may be an interesting, even if not completely general, alternative to slicing functional programs
Resumo:
Program slicing is a well known family of techniques used to identify code fragments which depend on or are depended upon specific program entities. They are particularly useful in the areas of reverse engineering, program understanding, testing and software maintenance. Most slicing methods, usually targeting either the imperative or the object oriented paradigms, are based on some sort of graph structure representing program dependencies. Slicing techniques amount, therefore, to (sophisticated) graph transversal algorithms. This paper proposes a completely different approach to the slicing problem for functional programs. Instead of extracting program information to build an underlying dependencies’ structure, we resort to standard program calculation strategies, based on the so-called Bird- Meertens formalism. The slicing criterion is specified either as a projection or a hiding function which, once composed with the original program, leads to the identification of the intended slice. Going through a number of examples, the paper suggests this approach may be an interesting, even if not completely general alternative to slicing functional programs
Resumo:
The entrepreneurship and innovation have been gradually gaining ground in the academic community as a field of study. However, the interpretations surrounding fragmented, without a univocal definition. In last decades, tourism has received greater attention from researchers in various sciences, varying only by the different emphases considered: economic, social, cultural and environmental. As other emerging sectors in a modern economy, tourism is a dynamic and ever-changing industry. The study has as purpose to provide a better understanding regarding the essence of entrepreneurship: theoretical and practical implications from the perspective of tourism. Regarding the methodology used here, this is a conceptual paper with a literature review that brings together the major components of entrepreneurship and its implications tourist perspective and conceptual model of the dynamic nature of the Triggering Process and innovation (e.g. iTravey, Interactive Stores, Tourist Transportable Tower).