Program slicing by calculation

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

Anotação, numa perspectiva de Direito Penal e de Criminologia, ao Acórdão do Supremo Tribunal de Justiça (português), de 13 de Abril de 2009 [Juiz Conselheiro Rodrigues da COSTA (Relator), Juiz Conselheiro Arménio SOTTOMAYOR (vencido nos termos da declaração junta) e Juiz Conselheiro Mota MIRANDA] - são o «lenocínio» e a prostituição, entre adultos livres, crimes? «Roxanne, you don't have to put on the red light»

Resumo: 1 – Sumário do Acórdão do Supremo Tribunal de Justiça, de 13 de Abril de 2011; 2 – Texto completo do Acórdão do Supremo Tribunal de Justiça, de 13 de Abril de 2009, Juiz Conselheiro Rodrigues da COSTA (Relator), Juiz Conselheiro Arménio SOTTOMAYOR (vencido nos termos da declaração junta) e Juiz Conselheiro Mota MIRANDA: cfr. http://www.dgsi.pt , 26 de Abril de 2011; 3 – Anotação; 3.1 – Introdução à anotação; 3.2 – A questão do suposto «bem jurídico» que seria tutelado pelo crime de «lenocínio» p.p.p.p.p. 169.º do código penal português; 3.2.1 – Ainda a questão do suposto «bem jurídico» que seria tutelado pelo crime de «lenocínio» p.p.p.p.p. 169.º do código penal português: uma maior procura e concretização jurídica e científica; 4 – Conclusões; § Abstract: 1 - Summary of the Sentence of the Supreme Court of Justice, 13 of April of 2011; 2 - Complete text of the Sentence of the Supreme Court of Justice, 13 of April of 2009, Advising Judge Rodrigues da COSTA (Reporter), Advising Judge Arménio SOTTOMAYOR (looser in the terms of the together declaration) and Advising Judge Mota MIRANDA: cfr. http://www.dgsi.pt , 26 of April of 2011; 3 - Notation; 3.1 - Introduction to the notation; 3.2 - The question of the presumption «legally protected interest» that would be tutored person for the crime of «pimpery (“pimping”)» p.p.p.p.p. 169.º of the Portuguese criminal code; 3.2.1 - Still the question of the presumption «legally protected interest» that would be tutored person for the crime of «pimpery» («pimping») p.p.p.p.p. 169.º of the Portuguese criminal code: a bigger search and legal and scientific concretion; 4 - Conclusions;

Slicing functional programs by calculation

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

Dashboard services for pragmatics-based interoperability in cloud and ubiquitous manufacturing

The real Cloud and Ubiquitous Manufacturing systems require effectiveness and permanent availability of resources, their capacity and scalability. One of the most important problems for applications management over cloud based platforms, which are expected to support efficient scalability and resources coordination following SaaS implementation model, is their interoperability. Even application dashboards need to easily incorporate those new applications, their interoperability still remains a big problem to override. So, the possibility to expand these dashboards with efficiently integrated communicational cloud based services (cloudlets) represents a relevant added value as well as contributes to solving the interoperability problem. Following the architecture for integration of enriched existing cloud services, as instances of manufacturing resources, this paper: a) proposes a cloud based web platform to support dashboard integrating communicational services, and b) describe an experimentation to sustain the theory that the effective and efficient interoperability, especially in dynamic environments, could be achieved only with human intervention.

Os fundos éticos nos mercados nas Bolsas de Valores

É possível encontrar nos mercados de valores mobiliários e/ou outros instrumentos financeiros e/ou nas chamadas bolsas de valores - éticas concretas, reais e definidas? Pensamos que sim. Os fundos éticos são apenas uma das espécies de fundos. Abstract: You can find in the securities markets and / or other financial instruments and / or in so-called exchanges - concrete ethical, real and defined? We think so. Ethical funds are only one species of funds.

Ó sistema capitalista, quanto do teu Portugal são lavagens de capital?

Ouvimos também muitos a falar em branqueamento de capitais, crimes financeiros, abuso de informação, manipulação do mercado, etc.. Salvo o devido respeito, contudo, poucos sabem o quão difícil é a prova destes crimes! Sabiam que p.e. até meados de 2008, crimes como o abuso de informação ou a manipulação do mercado eram insusceptíveis de interferência nas comunicações?! Sabiam que até hoje, o Código dos Valores Mobiliários não prevê a criminalização das pessoas colectivas e, portanto, dos próprios bancos?! Abstract: We hear too many to talk about money laundering, financial crimes, insider trading, market manipulation, etc .. Unless all due respect, however, few know how hard it is to prove that the crimes! Standing knew that by mid-2008, crimes such as dealing or market manipulation were incapable of interference in communications ?! They knew that to date, the Securities Code does not provide for the criminalization of legal persons and therefore the banks themselves ?!